Franco Cicirelli, Christian Nigro, Libero Nigro. Statistical Model Checking of GSPN Models. In Mohammad S. Obaidat, Janusz Kacprzyk, Tuncer Ören, editors, SIMULTECH 2015 - Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Colmar, Alsace, France, 21 - 23 July, 2015. pages 69-76, SciTePress, 2015. [doi]
@inproceedings{CicirelliNN15, title = {Statistical Model Checking of GSPN Models}, author = {Franco Cicirelli and Christian Nigro and Libero Nigro}, year = {2015}, doi = {10.5220/0005506700690076}, url = {http://dx.doi.org/10.5220/0005506700690076}, researchr = {https://researchr.org/publication/CicirelliNN15}, cites = {0}, citedby = {0}, pages = {69-76}, booktitle = {SIMULTECH 2015 - Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Colmar, Alsace, France, 21 - 23 July, 2015}, editor = {Mohammad S. Obaidat and Janusz Kacprzyk and Tuncer Ören}, publisher = {SciTePress}, isbn = {978-989-758-120-5}, }