Luca Bortolussi, Mirco Tribastone. Differential analysis of interacting automata with immediate actions. In Andras Horvath, Peter Buchholz, Vittorio Cortellessa, Luca Muscariello, Mark S. Squillante, editors, 7th International Conference on Performance Evaluation Methodologies and Tools, ValueTools '13, Torino, Italy, December 10-12, 2013. pages 49-58, ACM, 2013. [doi]
@inproceedings{BortolussiT13,
title = {Differential analysis of interacting automata with immediate actions},
author = {Luca Bortolussi and Mirco Tribastone},
year = {2013},
doi = {10.4108/icst.valuetools.2013.254364},
url = {http://doi.acm.org/10.4108/icst.valuetools.2013.254364},
researchr = {https://researchr.org/publication/BortolussiT13},
cites = {0},
citedby = {0},
pages = {49-58},
booktitle = {7th International Conference on Performance Evaluation Methodologies and Tools, ValueTools '13, Torino, Italy, December 10-12, 2013},
editor = {Andras Horvath and Peter Buchholz and Vittorio Cortellessa and Luca Muscariello and Mark S. Squillante},
publisher = {ACM},
isbn = {978-1-936968-48-0},
}