Carina Pilch, Fabian Edenfeld, Anne Remke. HYPEG: Statistical Model Checking for hybrid Petri nets: Tool Paper. In Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2017, Venice, Italy, December 05-07, 2017. pages 186-191, ACM, 2017. [doi]
@inproceedings{PilchER17,
title = {HYPEG: Statistical Model Checking for hybrid Petri nets: Tool Paper},
author = {Carina Pilch and Fabian Edenfeld and Anne Remke},
year = {2017},
doi = {10.1145/3150928.3150956},
url = {https://doi.org/10.1145/3150928.3150956},
researchr = {https://researchr.org/publication/PilchER17},
cites = {0},
citedby = {0},
pages = {186-191},
booktitle = {Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2017, Venice, Italy, December 05-07, 2017},
publisher = {ACM},
}