Extending mCRL2 with ready simulation and iocos input-output conformance simulation

  1. Gregorio-Rodríguez, C.
  2. Llana, L.
  3. Martínez-Torres, R.
Aktak:
Proceedings of the ACM Symposium on Applied Computing

ISBN: 9781450331968

Argitalpen urtea: 2015

Alea: 13-17-April-2015

Orrialdeak: 1781-1788

Mota: Biltzar ekarpena

DOI: 10.1145/2695664.2695853 GOOGLE SCHOLAR