Learning minimal separating DFA's for compositional verification
Journal
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Journal Volume
5505 LNCS
Pages
31-45
Date Issued
2009
Author(s)
Type
book