Original language | English |
---|---|
Title of host publication | 6th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2007 |
Place of Publication | Amsterdam |
Publisher | Elsevier |
Pages | 1-2 |
Number of pages | 2 |
DOIs | |
Publication status | Published - 4 Mar 2008 |
Event | 6th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2007 - Berlin, Germany Duration: 8 Jul 2007 → 8 Jul 2007 Conference number: 6 http://anna.fi.muni.cz/PDMC/PDMC07/ |
Publication series
Name | |
---|---|
Publisher | Elsevier |
Number | 412/1 |
Volume | 198 |
ISSN (Print) | 1571-0661 |
ISSN (Electronic) | 1571-0661 |
Workshop
Workshop | 6th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2007 |
---|---|
Abbreviated title | PDMC |
Country/Territory | Germany |
City | Berlin |
Period | 8/07/07 → 8/07/07 |
Internet address |
Keywords
- EWI-14944
- METIS-255452
- IR-65333