![](/img/cover-not-exists.png)
[ACM Press the 30th Annual ACM Symposium - Salamanca, Spain (2015.04.13-2015.04.17)] Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 - Extending mCRL2 with ready simulation and iocos input-output conformance simulation
Gregorio-Rodríguez, Carlos, Llana, Luis, Martínez-Torres, RafaelYear:
2015
Language:
english
DOI:
10.1145/2695664.2695853
File:
PDF, 2.10 MB
english, 2015