Enriched \mu-calculi Module Checking

MURANO, ANIELLO (2008) Enriched \mu-calculi Module Checking. [Pubblicazione su rivista scientifica]

Full text non disponibile da questo archivio.

URL: http://www.lmcs-online.org/ojs/viewarticle.php?id=361&layout=abstract


Tipologia di documento:Pubblicazione su rivista scientifica
Settori scientifico-disciplinari MIUR:Non specificato
Stato del full text:Accessibilità ristretta
Data:2008
Altri Autori:A. Ferrante, A. Murano, M. Parente
Numero di pagine:21
Intervallo di pagina:pp. 1-21
Volume:4
Numero:3:1
URL:http://www.lmcs-online.org/ojs/viewarticle.php?id=361&layout=abstract
Dipartimento o Struttura:Dipartimento di Scienze Fisiche
Data dell'evento:2008
Titolo rivista/pubblicazione:LOGICAL METHODS IN COMPUTER SCIENCE
Numero di sistema:7201
Depositato il:21 Ottobre 2010 08:16
Ultima modifica:21 Ottobre 2010 08:16

Solo per gli Amministratori dell'archivio: edita il record