Publications by Antti Siirtola
2013
1.
Parametrised Compositional Verification with Multiple Process and Data Types (2013)
AUTHORS:
Siirtola Antti
,
Heljanko Keijo
BOOKTITLE:
Proceedings, 13th International Conference on Application of Concurrency to System Design (ACSD)
PAGES:
67-76
![[PUBURL]](http://research.ics.aalto.fi/publications/bibdb2012/info_icon.png){kind=icon}