2012
- AUTHORS:
- Kindermann Roland,
- Junttila Tommi,
- Niemelä Ilkka
- BOOKTITLE:
- Formal Techniques for Distributed Systems
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 7273
- PAGES:
- 84--100
![[URL]](http://research.ics.aalto.fi/publications/bibdb2012/url_icon.png){kind=icon}
![[PUBURL]](http://research.ics.aalto.fi/publications/bibdb2012/info_icon.png){kind=icon}
- AUTHORS:
- Kindermann Roland,
- Junttila Tommi,
- Niemelä Ilkka
- BOOKTITLE:
- Formal Modeling and Analysis of Timed Systems
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 7595
- PAGES:
- 171--187
2011
- AUTHORS:
- Kindermann Roland,
- Junttila Tommi,
- Niemelä Ilkka
- BOOKTITLE:
- Proceedings of the 11th International Conference on Application of Concurrency to System Designg, ACSD 2011
- PAGES:
- 185-194
2009
- AUTHORS:
- Kindermann Roland
![[PDF]](http://research.ics.aalto.fi/publications/bibdb2012/pdf_icon.gif){kind=icon}