%0 Conference Paper %1 conf/isola/LegayST16 %A Legay, Axel %A Sedwards, Sean %A Traonouez, Louis-Marie %B ISoLA (1) %D 2016 %E Margaria, Tiziana %E Steffen, Bernhard %K dblp %P 77-93 %T Plasma Lab: A Modular Statistical Model Checking Platform. %U http://dblp.uni-trier.de/db/conf/isola/isola2016-1.html#LegayST16 %V 9952 %@ 978-3-319-47165-5

@inproceedings{conf/isola/LegayST16, added-at = {2017-05-23T00:00:00.000+0200}, author = {Legay, Axel and Sedwards, Sean and Traonouez, Louis-Marie}, biburl = {https://www.bibsonomy.org/bibtex/2058595edf6b1e23397273c6e3c1280d8/dblp}, booktitle = {ISoLA (1)}, crossref = {conf/isola/2016-1}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-319-47166-2_6}, interhash = {8860e7b0e8dfe47f0da0ea8fd12bba68}, intrahash = {058595edf6b1e23397273c6e3c1280d8}, isbn = {978-3-319-47165-5}, keywords = {dblp}, pages = {77-93}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:43:15.000+0200}, title = {Plasma Lab: A Modular Statistical Model Checking Platform.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2016-1.html#LegayST16}, volume = 9952, year = 2016 }