( en | de | ru )

 

Disambiguation of "McMillan, Kenneth L."

Author of the publication

copydeleteadd this publication to your clipboard
Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata and Polynomials.

, , , , and . SPIN, volume 7385 of Lecture Notes in Computer Science, page 1-6. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

David McMillan

Kenneth Anders

Kenneth Simon

Kenneth Froese

Kenneth Ndyabawe

 

Other publications of authors with the same name

Liveness by Invisible Invariants., , , and . FORTE, volume 4229 of Lecture Notes in Computer Science, page 356-371. Springer, (2006)Interpolants and Symbolic Model Checking.. VMCAI, volume 4349 of Lecture Notes in Computer Science, page 89-90. Springer, (2007)Invisible Invariants and Abstract Interpretation., and . SAS, volume 6887 of Lecture Notes in Computer Science, page 249-262. Springer, (2011)An Interpolating Theorem Prover.. TACAS, volume 2988 of Lecture Notes in Computer Science, page 16-30. Springer, (2004)Minimum Satisfying Assignments for SMT., , , and . CAV, volume 7358 of Lecture Notes in Computer Science, page 394-409. Springer, (2012)Deciding Global Partial-Order Properties., , and . ICALP, volume 1443 of Lecture Notes in Computer Science, page 41-52. Springer, (1998)Proof Rules for Model Checking Systems with Data.. FSTTCS, volume 1530 of Lecture Notes in Computer Science, page 270. Springer, (1998)An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment., , , , and . CHARME, volume 3725 of Lecture Notes in Computer Science, page 254-268. Springer, (2005)Probabilistic state space search., , and . ICCAD, page 574-579. IEEE Computer Society, (1999)A methodology for correct-by-construction latency insensitive design., , , and . ICCAD, page 309-315. IEEE Computer Society, (1999)