Symbolic veri of communication protocols with in state spaces using QDDs (1996)

by B Boigelot, P Godefroid
Venue:In Rajeev Alur, editor, Proceedings of CAV '96, volume 1102 of Lecture Notes in Computer Science