Original language | English |
---|---|
Pages | 50-63 |
Number of pages | 14 |
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 → … |