Pushdown Module checking for Branching-time Temporal Logics

MURANO, ANIELLO (2006) Pushdown Module checking for Branching-time Temporal Logics. In: Schloss Dagstuhl Seminar 06411: Specification, Verification and Test of Open Systems, Ottobre 8 - 13, 2006., Dagstuhl - Germany.

Full text non disponibile da questo archivio.

URL: http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=2006411


Tipologia di documento:Contributo in atti di congresso o conferenza (Non specificato)
Settori scientifico-disciplinari MIUR:Non specificato
Stato del full text:Accessibilità ristretta
Data:2006
Altri Autori:A. Murano
Editore:Dagstuhl School- Germany
Numero di pagine:0
Intervallo di pagina:pp. 1-3
URL:http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=2006411
Dipartimento o Struttura:Dipartimento di Scienze Fisiche
Titolo dell'evento:Schloss Dagstuhl Seminar 06411: Specification, Verification and Test of Open Systems
Luogo dell'Evento:Dagstuhl - Germany
Data dell'evento:Ottobre 8 - 13, 2006.
Numero di sistema:5517
Depositato il:18 Ottobre 2010 10:15
Ultima modifica:18 Ottobre 2010 10:15

Solo per gli Amministratori dell'archivio: edita il record