CIP model-checking /

Sparad:
Bibliografiska uppgifter
OCLC:63519157
Huvudupphovsman: Moglestue, Andreas Hubert
Institutionell upphovsman: Eidgenössische Technische Hochschule Zürich
Språk:English
Publicerad: 2004.
Materialtyp:

Lärdomsprov Monograph Microform

Note that CRL will digitize material from the collection when copyright allows.