Symbolic model checking an approach to the state explosion problem - McMillan, Kenneth L. (School of Computer Science, Carnegie Mellon Univ., 1992)
Zugl.: Pittsburgh, Pa., Univ., Diss., 1992