Original language | English |
---|---|
Title of host publication | Formal Techniques for Networked and Distributed Systems - Forte 2004, Proceedings |
Volume | 3235 |
Publication date | 2004 |
Pages | 167-184 |
Publication status | Published - 2004 |
Event | Connectivity testing through model-checking - Duration: 19 May 2010 → … |
Conference
Conference | Connectivity testing through model-checking |
---|---|
Period | 19/05/2010 → … |