CIP model-checking /
Bewaard in:
| OCLC: | 63519157 |
|---|---|
| Hoofdauteur: | |
| Coauteur: | |
| Taal: | English |
| Gepubliceerd in: |
2004.
|
| Formaat: | Thesis Monograph Microform Note that CRL will digitize material from the collection when copyright allows. |
| LEADER | 01083nam a22002897a 4500 | ||
|---|---|---|---|
| 001 | in00006097727 | ||
| 003 | OCoLC | ||
| 005 | 20060206122702.0 | ||
| 008 | 060206s2004 sz b 000 0 eng d | ||
| 035 | |a (OCoLC)63519157 | ||
| 040 | |a CRL |c CRL | ||
| 049 | |a CRLL | ||
| 099 | |a P-90025796 | ||
| 100 | 1 | |a Moglestue, Andreas Hubert. | |
| 245 | 1 | 0 | |a CIP model-checking / |c Andreas Hubert Moglestue. |
| 260 | |c 2004. | ||
| 300 | |a 4 microfiches. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a microform |b h |2 rdamedia. | ||
| 338 | |a microfiche |b he |2 rdacarrier. | ||
| 502 | |b doctoral |c Swiss Federal Institute of Technology Zurich |d 2004. | ||
| 710 | 2 | |a Eidgenössische Technische Hochschule Zürich. | |
| 752 | |a Switzerland. | ||
| 907 | |a .b20533299 |b 02-25-22 |c 02-06-06 | ||
| 998 | |a diss |b 02-06-06 |c m |d b |e - |f eng |g sz |h 0 |i 1 | ||
| 999 | f | f | |i 6cf58647-a3a0-5469-8e2b-168ac424e4b3 |s 7ce49b85-feb6-5bb7-9138-db0081e763ae |t 0 |