Original language | English |
---|---|
Pages | 288-292 |
Number of pages | 5 |
Publication status | Published - 1 Jan 2006 |
Event | Model Checking Software, Proceedings of 13th International SPIN Workshop 2006 - Duration: 1 Jan 2006 → … |
Conference
Conference | Model Checking Software, Proceedings of 13th International SPIN Workshop 2006 |
---|---|
Period | 1/01/06 → … |