by McMillan, K.L.
Published in Theoretical computer science (21.11.2005)

by McMillan, K. L.
Published in Lecture notes in computer science (2005)

by Jhala, Ranjit, McMillan, K. L.
Published in Lecture notes in computer science (2006)

by Gupta, Anubhav, McMillan, K. L., Fu, Zhaohui
Published in Formal methods in system design (01.06.2008)

by Jhala, Ranjit, McMillan, K. L.
Published in Computer Aided Verification (2005)

by McMillan, K.L.
Published in Science of computer programming (01.05.2000)

by McMillan, L K, Carr, R L, Young, C A, Astin, J W, Lowe, R G T, Parker, E J, Jameson, G B, Finch, S C, Miles, C O, McManus, O B, Schmalhofer, W A, Garcia, M L, Kaczorowski, G J, Goetz, M, Tkacz, J S, Scott, B
Published in Molecular genetics and genomics : MGG (01.09.2003)

by McMillan, K. L.
Published in Tools and Algorithms for the Construction and Analysis of Systems

by Carloni, L.P., McMillan, K.L., Sangiovanni-Vincentelli, A.L.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.09.2001)

by Kurshan, R.P., McMillan, K.L.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.11.1991)

by Kurshan, R.P., Mcmillan, K.L.
Published in Information and computation (15.02.1995)

by Clarke, E. M., McMillan, K. L., Zhao, X, Fujita, M., Yang, J.
Published in 30th ACM/IEEE Design Automation Conference (01.07.1993)

by Burch, J.R., Clarke, E.M., Long, D.E., McMillan, K.L., Dill, D.L.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.04.1994)

by BURCH, J. R, CLARKE, E. M, MCMILLAN, K. L, DILL, D. L, HWANG, L. J
Published in Information and computation (01.06.1992)

by Clarke, E. M., Grumberg, O., McMillan, K. L., Zhao, X.
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 32nd ACM/IEEE conference on Design automation; 12-16 June 1995 (01.01.1995)

by McMillan, K. L.
Published in 31st Design Automation Conference (06.06.1994)

by Clarke, E.M., Long, D.E., McMillan, K.L.
Published in Proceedings of the IEEE (01.09.1991)

by Whetten, Kathryn, Reif, Susan, Whetten, Rachel, Murphy-McMillan, Laura Kathleen
Published in Psychosomatic medicine (01.06.2008)

by Youpyo Hong, Beerel, P.A., Burch, J.R., McMillan, K.L.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.01.2000)

by McMillan, K. L.
Published in Verification, Model Checking, and Abstract Interpretation