Additional Metadata
Publisher Elsevier
Journal Electronic Notes in Theoretical Computer Science
Conference International Workshop on Parallel and Distributed Methods in Verification
Citation
Mauw, S, Issarny, V, & Cremers, C.J.F. (2006). Preface. Electronic Notes in Theoretical Computer Science , 157, 1–2.