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 = {TEMPO, PACSS},
}

URL

Publication Sections


Contact | Site Map | Site powered by SPIP 3.1.11 + AHUNTSIC [CC License]

info visites 1348306