%0 Conference Paper %1 conf/membrane/BakirGKS16 %A Bakir, Mehmet Emin %A Gheorghe, Marian %A Konur, Savas %A Stannett, Mike %B Int. Conf. on Membrane Computing %D 2016 %E Leporati, Alberto %E Rozenberg, Grzegorz %E Salomaa, Arto %E Zandron, Claudio %I Springer %K dblp %P 119-135 %T Comparative Analysis of Statistical Model Checking Tools. %U http://dblp.uni-trier.de/db/conf/membrane/membrane2016.html#BakirGKS16 %V 10105 %@ 978-3-319-54071-9

@inproceedings{conf/membrane/BakirGKS16, added-at = {2022-12-07T00:00:00.000+0100}, author = {Bakir, Mehmet Emin and Gheorghe, Marian and Konur, Savas and Stannett, Mike}, biburl = {https://www.bibsonomy.org/bibtex/2d7d6301ddf6aeda3dc1a3ed585508c43/dblp}, booktitle = {Int. Conf. on Membrane Computing}, crossref = {conf/membrane/2016}, editor = {Leporati, Alberto and Rozenberg, Grzegorz and Salomaa, Arto and Zandron, Claudio}, ee = {https://doi.org/10.1007/978-3-319-54072-6_8}, interhash = {109872c06009e665b506fdb586126b99}, intrahash = {d7d6301ddf6aeda3dc1a3ed585508c43}, isbn = {978-3-319-54071-9}, keywords = {dblp}, pages = {119-135}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T08:40:25.000+0200}, title = {Comparative Analysis of Statistical Model Checking Tools.}, url = {http://dblp.uni-trier.de/db/conf/membrane/membrane2016.html#BakirGKS16}, volume = 10105, year = 2016 }