685 KB, PDF document
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review
Publication date | 2007 |
---|---|
Number of pages | 18 |
Pages | 23-40 |
<mark>Original language</mark> | English |
Event | Proceedings of FMIS 2007 2nd International Workshop on Formal Methods for Interactive Systems - Duration: 1/01/1900 → … |
Conference | Proceedings of FMIS 2007 2nd International Workshop on Formal Methods for Interactive Systems |
---|---|
Period | 1/01/00 → … |