Some remarks on "Specification and validation of protocols by temporal logic and nets" by M. Diaz and G. Guidacci da Silveira
Finna-arvio
Some remarks on "Specification and validation of protocols by temporal logic and nets" by M. Diaz and G. Guidacci da Silveira
Tallennettuna:
| Ulkoasu |
6 sivua |
|---|---|
| Kieli |
suomi |
| Alkuteoksen kieli |
suomi |
| Julkaisija |
Otaniemi :
Helsinki University of Technology,
1984.
|
| Sarja | Helsinki University of Technology. Digital Systems Laboratory. Series B, ISSN 0358-2175; 28 |
| Luokitus | |
| ISBN |
951-753-379-9 pehmeäkantinen |