Original language | English |
---|---|
Pages | 187-196 |
Number of pages | 10 |
Publication status | Published - 1 Jan 2003 |
Event | 3rd Workshop on Automated Verification of Critical Systems - Duration: 1 Jan 2003 → … |
Conference
Conference | 3rd Workshop on Automated Verification of Critical Systems |
---|---|
Period | 1/01/03 → … |