Home » Publication » 23015

Dettaglio pubblicazione

2018, Automated Technology for Verification and Analysis, Pages 551-557 (volume: 11138)

EVE: A Tool for Temporal Equilibrium Analysis (04b Atto di convegno in volume)

Gutierrez J., Najib M., Perelli G., Wooldridge M.

DOI: 10.1007/978-3-030-01090-4_35
ISBN: 978-3-030-01089-8...
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma