CITATION STYLE
McMillan, K. L. (1993). Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 663 LNCS, pp. 164–177). Springer Verlag. https://doi.org/10.1007/3-540-56496-9_14
Mendeley helps you to discover research relevant for your work.