McMillan, Kenneth L.
URI(s)
Additional Information
Has Affiliation
- Organization: Microsoft Research
Associated Locale
- United States
Associated Language
- English
Field of Activity
Occupation
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: His Symbolic model checking, 1993:CIP t.p. (Kenneth L. McMillan, Carnegie Mellon Univ.)
- found: Logic for programming, artificial intelligence, and reasoning, 2013t.p. (Ken McMillan) verso (Microsoft Research, Redmond, WA, USA)
- found: Microsofr Research www site, viewed 8 Jan. 2014(Kenneth McMillan ; Kenneth L. McMillan ; graduated at CMU ; thesis on a technique called Symbolic model checking)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1993-05-17: new
- 2014-01-09: revised
Alternate Formats