Augmenting transition systems for scalable symbolic model checking

Digital content

Librarian view | Catkey: 13972018