Home Advanced Search

Advanced Search - Page 1

Symbolic Model Checking
  • PDF
  • English
  • Year: 1993
  • Author: Kenneth L. McMillan (auth.)
Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Kenneth L. McMillan (auth.), Eran Yahav (eds.)
Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Kenneth L. McMillan (auth.), Eran Yahav (eds.)
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Kenneth L. McMillan (auth.), Ganesh Gopalakrishnan, Phillip Windley (eds.)
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Kenneth L. McMillan (auth.), Ganesh Gopalakrishnan, Phillip Windley (eds.)
Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)
Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)
Verification of Digital and Hybrid Systems
  • PDF
  • English
  • Year: 2000
  • Author: Kenneth McMillan (auth.), M. Kemal Inan, Robert P. Kurshan (eds.)
A Mathematical Approach to Proportional Representation: Duncan Black on Lewis Carroll
  • PDF
  • English
  • Year: 1996
  • Author: Iain McLean, Alistair McMillan (auth.), Iain McLean, Alistair McMillan, Burt L. Monroe (eds.)
But he says he loves me: how to avoid being trapped in a manipulative relationship
  • EPUB
  • English
  • Year: 2008;2017
  • Author: McMillan, Dina L
search