Home » Publication » 13924

Dettaglio pubblicazione

2018, Handbook of parallel constraint reasoning, Pages 617-632

An application of parallel satisfiability solving to the verification of complex embedded systems (02a Capitolo o Articolo)

Ferrante Orlando, Ferrari Alberto, Sofronis Christos, Mangeruca Leonardo, Benvenuti Luca

ISBN: 978-3-319-63515-6...
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma