2013 |
- BOOKTITLE:
- Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling (PASM) and the Eleventh International Workshop on Parallel and Distributed Methods in Verification (PDMC)
- VOLUME:
- 296
- PAGES:
- 253-259
|
2012 |
- BOOKTITLE:
- Proceedings of the 12th International Conference on Application of Concurrency to System Design (ACSD 2012)
- PAGES:
- 132-141
|
- BOOKTITLE:
- Proceedings of the 27th IEEE/ACM International Conference Automated Software Engineering 2012 (ASE 2012)
- PAGES:
- 150-159
|
2011 |
- BOOKTITLE:
- Proceedings of the 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011)
- PAGES:
- 75-80
|
2010 |
- BOOKTITLE:
- SPIN
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 6349
- PAGES:
- 22-39
|
2009 |
|
|
- BOOKTITLE:
- RV
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 5779
- PAGES:
- 93-100
|
![[PUBURL]](http://research.ics.aalto.fi/publications/bibdb2012/info_icon.png){kind=icon}
![[URL]](http://research.ics.aalto.fi/publications/bibdb2012/url_icon.png){kind=icon}