%0 Conference Paper %1 conf/qest/BortolussiMS15 %A Bortolussi, Luca %A Milios, Dimitrios %A Sanguinetti, Guido %B QEST %D 2015 %E Campos, Javier %E Haverkort, Boudewijn R. %I Springer %K dblp %P 89-104 %T U-Check: Model Checking and Parameter Synthesis Under Uncertainty. %U http://dblp.uni-trier.de/db/conf/qest/qest2015.html#BortolussiMS15 %V 9259 %@ 978-3-319-22264-6

@inproceedings{conf/qest/BortolussiMS15, added-at = {2023-06-26T00:00:00.000+0200}, author = {Bortolussi, Luca and Milios, Dimitrios and Sanguinetti, Guido}, biburl = {https://www.bibsonomy.org/bibtex/235a5a2fdc21faf6c0861edf4950a50cc/dblp}, booktitle = {QEST}, crossref = {conf/qest/2015}, editor = {Campos, Javier and Haverkort, Boudewijn R.}, ee = {https://doi.org/10.1007/978-3-319-22264-6_6}, interhash = {215a263135e10290973e7ba621f70453}, intrahash = {35a5a2fdc21faf6c0861edf4950a50cc}, isbn = {978-3-319-22264-6}, keywords = {dblp}, pages = {89-104}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T14:53:07.000+0200}, title = {U-Check: Model Checking and Parameter Synthesis Under Uncertainty.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2015.html#BortolussiMS15}, volume = 9259, year = 2015 }