%0 Conference Paper %1 conf/ftscs/Andre18 %A André, Étienne %B FTSCS %D 2018 %E Artho, Cyrille %E Ölveczky, Peter Csaba %I Springer %K dblp %P 75-83 %T A Benchmark Library for Parametric Timed Model Checking. %U http://dblp.uni-trier.de/db/conf/ftscs/ftscs2018.html#Andre18 %V 1008 %@ 978-3-030-12988-0

@inproceedings{conf/ftscs/Andre18, added-at = {2019-02-06T00:00:00.000+0100}, author = {André, Étienne}, biburl = {https://www.bibsonomy.org/bibtex/2ea78934c6832e3194996e32cf72717c6/dblp}, booktitle = {FTSCS}, crossref = {conf/ftscs/2018}, editor = {Artho, Cyrille and Ölveczky, Peter Csaba}, ee = {https://doi.org/10.1007/978-3-030-12988-0_5}, interhash = {0b2d25f25c4938b59439f9f97b8a3dfb}, intrahash = {ea78934c6832e3194996e32cf72717c6}, isbn = {978-3-030-12988-0}, keywords = {dblp}, pages = {75-83}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2019-02-07T11:38:28.000+0100}, title = {A Benchmark Library for Parametric Timed Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/ftscs/ftscs2018.html#Andre18}, volume = 1008, year = 2018 }