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