CIP model-checking
By: Andreas Hubert Moglestue
Contributors: Eidgenössische Technische Hochschule Zürich
Published: 2004
Language: eng
Notes: Thesis (doctoral)--Swiss Federal Institute of Technology Zurich, 2004.