Salta al contenuto principale
English
Italiano
Form di ricerca
Cerca
Dipartimento di Ingegneria informatica, automatica e gestionale
Toggle navigation
Dipartimento
Chi siamo
Dove siamo
Governo
Persone
Uffici
Bandi
Trasparenza
Strutture
Laboratori
Aule
Biblioteca
Didattica
Ricerca
Aree di ricerca
Gruppi di ricerca
Eventi e seminari
Keyword search
Visiting professors
Research Reports
Technical Reports
Centri interdipartimentali
Spin-off
Frequentatori esterni
Terza missione
Notizie
DIAG sui media
Seminars & events
Home
»
Publication
»
23030
Dettaglio pubblicazione
2015, IJCAI, Pages 1090-1097 (volume: 2015)
Pushdown multi-agent system verification
(
04c Atto di convegno in rivista
)
Murano A., Perelli G.
ISBN:
978-157735738-4
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma