Original language | English |
---|---|
Pages | 79-93 |
Number of pages | 15 |
DOIs | |
Publication status | Published - 14 Jan 2006 |
Event | Proceedings of 5th International Workshop on Automated Verification of Critical Systems (AVoCS 2005), Warwick University, September 2005, R Lazic and R Nagarajan (Editors) - Duration: 14 Jan 2006 → … |
Conference
Conference | Proceedings of 5th International Workshop on Automated Verification of Critical Systems (AVoCS 2005), Warwick University, September 2005, R Lazic and R Nagarajan (Editors) |
---|---|
Period | 14/01/06 → … |