Original language | Undefined/Unknown |
---|---|
Title of host publication | Proceedings |
Editors | JCM Baeten, ... [et Al] |
Place of Publication | S.l. |
Publisher | s.n. |
Pages | 56-70 |
Number of pages | 15 |
ISBN (Print) | 0926-4515 |
Publication status | Published - 2001 |
Event | 3th Dutch Model Checking Day, Eindhoven - S.l. Duration: 7 Nov 2001 → 7 Nov 2001 |
Publication series
Name | |
---|---|
Publisher | S.n. |
Conference
Conference | 3th Dutch Model Checking Day, Eindhoven |
---|---|
Period | 7/11/01 → 7/11/01 |
Keywords
- ZX Int.klas.verslagjaar < 2002