| LC control no. | n 93046161 |
|---|---|
| Descriptive conventions | rda |
| Personal name heading | McMillan, Kenneth L. |
| Associated country | United States |
| Associated place | Redmond (Wash.) |
| Field of activity | Computer science |
| Affiliation | Microsoft Research |
| Profession or occupation | Computer scientists |
| Found in | His Symbolic model checking, 1993: CIP t.p. (Kenneth L. McMillan, Carnegie Mellon Univ.) Logic for programming, artificial intelligence, and reasoning, 2013 t.p. (Ken McMillan) verso (Microsoft Research, Redmond, WA, USA) Microsofr Research www site, viewed 8 Jan. 2014 (Kenneth McMillan ; Kenneth L. McMillan ; graduated at CMU ; thesis on a technique called Symbolic model checking) |
| Associated language | eng |
 |  |  |
View this record in: MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)
