Home » Publication » 16541

Dettaglio pubblicazione

2007, Lecture Notes in Computer Science: Artificial Intelligence and Human-Oriented Computing, Pages 48-59 (volume: 4733)

Model Checking and Preprocessing (04b Atto di convegno in volume)

ANDREA FERRARA, LIBERATORE Paolo, SCHAERF Marco

DOI: 10.1007/978-3-540-74782-6_6
ISBN: 9783540747819
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma