Original language | English |
---|---|
Publication status | Published - 1 Jan 2003 |
Event | Third Workshop on Automatic Verification of Critical Systems - Duration: 1 Jan 2003 → … |
Conference
Conference | Third Workshop on Automatic Verification of Critical Systems |
---|---|
Period | 1/01/03 → … |