Abstract interpretation and partition refinement for model checking /
Uloženo v:
| OCLC: | 57592983 |
|---|---|
| Hlavní autor: | |
| Korporativní autor: | |
| Jazyk: | English |
| Vydáno: |
Netherlands :
Technische Universiteit Eindhoven,
1996.
|
| Global Resources Program: | Southeast Asia Materials Project (SEAM) |
| Médium: | Diplomová práce Monograph Note that CRL will digitize material from the collection when copyright allows. |
| LEADER | 01160nam a22003017a 4500 | ||
|---|---|---|---|
| 001 | in00005977135 | ||
| 003 | OCoLC | ||
| 008 | 050208s1996 ne 000 0 eng d | ||
| 005 | 20240531182528.4 | ||
| 035 | |a (OCoLC)57592983 | ||
| 040 | |a CRL |c CRL | ||
| 049 | |a CRLM | ||
| 099 | |a P-00275124 | ||
| 100 | 1 | |a Dams, Dennis René | |
| 245 | 1 | 0 | |a Abstract interpretation and partition refinement for model checking / |c Dennis René Dams. |
| 264 | 1 | |a Netherlands : |b Technische Universiteit Eindhoven, |c 1996. | |
| 300 | |a v, 217 p. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a unmediated |b n |2 rdamedia. | ||
| 338 | |a volume |b nc |2 rdacarrier. | ||
| 502 | |b Doctoral |c Technische Universiteit Eindhoven |d 1996. | ||
| 710 | 2 | |a Technische Universiteit Eindhoven. | |
| 752 | |a Netherlands. | ||
| 907 | |a .b19296563 |b 05-31-24 |c 02-09-05 | ||
| 990 | |m CRL | ||
| 998 | |a diss |b 02-09-05 |c m |d - |e - |f eng |g ne |h 0 |i 1 | ||
| 999 | f | f | |i 3e89c7b7-aa68-51cf-93b3-7883dedc3f7c |s 103288ce-06e2-5652-99d0-3d60d16f1f56 |t 0 |