2005 |
- BOOKTITLE:
- Theoretical Aspects of Computing -- ICTAC 2005
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 3722
- PAGES:
- 545--558
|
- BOOKTITLE:
- Electronic Notes in Theoretical Computer Science
- VOLUME:
- 133
- PAGES:
- 175--191
|
- BOOKTITLE:
- Applications of Declarative Programming and Knowledge Management
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 3392
- PAGES:
- 134--148
|
- AUTHORS:
- Keinänen Misa Kristian
|
2004 |
|
- BOOKTITLE:
- Proceedings of the 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004)
- SERIES:
- Technical Report
- PAGES:
- 191--208
|
- BOOKTITLE:
- Proceedings of the 15th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2004)
- SERIES:
- Technical Report
- VOLUME:
- 327
- PAGES:
- 255--264
|
- BOOKTITLE:
- Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2004)
- SERIES:
- Lecture Notes in Computer Science
- VOLUME:
- 2988
- PAGES:
- 436--450
|
2003 |
|