Specifying message passing and time-critical systems with temporal logic /
Bewaard in:
| OCLC: | 33599395 |
|---|---|
| Hoofdauteur: | |
| Coauteur: | |
| Taal: | English |
| Gepubliceerd in: |
Netherlands :
Technische Universiteit Eindhoven,
1989.
|
| Onderwerpen: | |
| Formaat: | Thesis Monograph Note that CRL will digitize material from the collection when copyright allows. |
| LEADER | 01770ctm a2200445Ia 45 0 | ||
|---|---|---|---|
| 001 | in00006287185 | ||
| 003 | OCoLC | ||
| 005 | 00010101120000.0 | ||
| 008 | 951120s1989 ne a b 001 0 eng d | ||
| 016 | 7 | |a B8929480 |2 bccb | |
| 029 | 1 | |a NLGGC |b 053193024 | |
| 035 | |a (OCoLC)33599395 | ||
| 040 | |a UIU |c UIU |d OCLCQ |d NLGGC |d CRL | ||
| 041 | 0 | |a engdut | |
| 049 | |a CRLL | ||
| 092 | 0 | |a 004.6 |b K849s, 1989 |2 20 | |
| 099 | |a P-00470367 | ||
| 100 | 1 | |a Koymans, R. |q (Ron), |d 1959- | |
| 245 | 1 | 0 | |a Specifying message passing and time-critical systems with temporal logic / |c R. Koymans. |
| 246 | 1 | 3 | |a Specificatie van gedistribueerde en tijdskritische systemen in temporele logica. |
| 264 | 1 | |a Netherlands : |b Technische Universiteit Eindhoven, |c 1989. | |
| 300 | |a 173, [13] p. : |b ill. ; |c 24 cm. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a unmediated |b n |2 rdamedia. | ||
| 338 | |a volume |b nc |2 rdacarrier. | ||
| 500 | |a Vita. | ||
| 502 | |b Doctoral |c Technische Universiteit Eindhoven |d 1959. | ||
| 504 | |a Includes bibliographical references (p. 161-170) and index. | ||
| 546 | |a Text in English and Dutch. | ||
| 650 | 0 | |a Data transmission systems. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 1 | 7 | |a Real-time systemen. |2 gtt. |
| 650 | 1 | 7 | |a Gedistribueerde gegevensverwerking. |2 gtt. |
| 650 | 1 | 7 | |a Temporele logica. |2 gtt. |
| 710 | 2 | |a Technische Universiteit Eindhoven. | |
| 752 | |a Netherlands. | ||
| 907 | |a .b22467427 |b 02-14-22 |c 05-25-07 | ||
| 998 | |a diss |b 05-25-07 |c m |d - |e - |f eng |g ne |h 0 |i 1 | ||
| 999 | f | f | |i 0a772417-3e97-527e-9cd1-65b1b736a7b9 |s 71215e01-8ce9-5703-8480-7f913bbed553 |t 0 |