%0 Conference Paper %1 conf/tacas/HartmannsKPQR19 %A Hartmanns, Arnd %A Klauck, Michaela %A Parker, David %A Quatmann, Tim %A Ruijters, Enno %B TACAS (1) %D 2019 %E Vojnar, Tomás %E Zhang, Lijun %I Springer %K dblp %P 344-350 %T The Quantitative Verification Benchmark Set. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2019-1.html#HartmannsKPQR19 %V 11427 %@ 978-3-030-17462-0

@inproceedings{conf/tacas/HartmannsKPQR19, added-at = {2019-08-20T00:00:00.000+0200}, author = {Hartmanns, Arnd and Klauck, Michaela and Parker, David and Quatmann, Tim and Ruijters, Enno}, biburl = {https://www.bibsonomy.org/bibtex/250e87a2cd3766ebfbf534bf5a7314fcb/dblp}, booktitle = {TACAS (1)}, crossref = {conf/tacas/2019-1}, editor = {Vojnar, Tomás and Zhang, Lijun}, ee = {https://doi.org/10.1007/978-3-030-17462-0_20}, interhash = {2164811d98940d795fec3e3f73cc3caa}, intrahash = {50e87a2cd3766ebfbf534bf5a7314fcb}, isbn = {978-3-030-17462-0}, keywords = {dblp}, pages = {344-350}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-21T12:04:45.000+0200}, title = {The Quantitative Verification Benchmark Set.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2019-1.html#HartmannsKPQR19}, volume = 11427, year = 2019 }