| Originele taal-2 | Engels |
|---|---|
| Plaats van productie | Eindhoven |
| Uitgeverij | Technische Universiteit Eindhoven |
| Aantal pagina's | 14 |
| Status | Gepubliceerd - 1986 |
Publicatie series
| Naam | Computing science notes |
|---|---|
| Volume | 8614 |
Specifying message passing systems requires extending temporal logic
R.L.C. Koymans
Onderzoeksoutput: Boek/rapport › Rapport › Academic
235
Downloads
(Pure)