bibtex

@inproceedings{BBM+9,
    title = { ParetoLib: {A} Python Library for Parameter Synthesis },
    author = {Bakhirkin, Alexey and Basset, Nicolas and Maler, Oded and Requeno Jarabo, Jos{\'{e}}{-}Ignacio},
    year = {2019},
    booktitle = {Formal Modeling and Analysis of Timed Systems - 17th International Conference, {FORMATS} 2019},
    pages = {114--120},
    team = {axe_Mohytos, TEMPO, PACSS},
}

URL


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4121961