| Scheda: 127/129 |
|
| Livello bibliografico |
Monografia
|
| Tipo di materiale |
Testo a stampa
|
|
Autore principale
| De Nicola, Rocco [
scheda di autorità
] |
|
Titolo
| Three logics for branching bisimulation / Rocco De Nicola, Frits Vaandrager |
|
Pubblicazione
| Roma : Dipartimento di scienze dell'informazione, Università degli studi La Sapienza, 1992
|
|
Descrizione fisica
| 34 p. ; 21 cm |
|
Collezione
| Rapporto di ricerca / Dipartimento di scienze dell'informazione, Università degli studi di Roma La Sapienza ; 9207
(ID Collana : BVE0138584)
|
|
Lingua di pubblicazione
| eng |
|
Paese di pubblicazione
| it |
|
Nomi
| [Autore] De Nicola, Rocco [
scheda di autorità
]
[Autore] Vaandrager, Frits |
|
Identificativo record
| BVE0138589 |
Rimuovi da preferiti
Aggiungi a preferiti