Academic
Publications
Symbolic model checking: an approach to the state explosion problem

Symbolic model checking: an approach to the state explosion problem,K. L. McMillan

Symbolic model checking: an approach to the state explosion problem   (Citations: 925)
BibTex | RIS | RefWorks Download
Published in 1993.
Cumulative Annual
Sort by: