FLORE (FLOrence REsearch) è il repository istituzionale ad accesso pieno e aperto dell'Università degli Studi di Firenze.
Raccoglie, documenta e conserva le informazioni sulla produzione scientifica dell'Università e costituisce l'Anagrafe della ricerca dell'Ateneo.
EnglishGraded Modalities and Resource Bisimulation / R. De Nicola; A. Labella; F. Corradini. - STAMPA. - (1999), pp. 381-393.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/2158/2701| Titolo: | Graded Modalities and Resource Bisimulation |
| Autori interni: | DE NICOLA, ROCCO |
| Autori: | R. De Nicola; A. Labella; F. Corradini |
| Data di pubblicazione: | 1999 |
| Titolo del libro: | Foundations of Software Technology and Theoretical Computer Science, 19th Conference, Proceedings. Lecture Notes in Computer Science 1738 |
| ISBN: | 9783540668367 |
| Pagina iniziale: | 381 |
| Pagina finale: | 393 |
| Handle: | http://hdl.handle.net/2158/2701 |
| Appare nelle tipologie: | 2a - Art/Cap/Saggio libro scient/tech |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2017