Home Advanced Search

Advanced Search - Page 1

Verification of Digital and Hybrid Systems
  • PDF
  • English
  • Year: 2000
  • Author: Kenneth McMillan (auth.), M. Kemal Inan, Robert P. Kurshan (eds.)
Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
  • PDF
  • English
  • Year: 1993
  • Author: Robert Kurshan (auth.), Robert Kurshan (eds.)
Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Edmund M. Clarke Jr. (auth.), Edmund M. Clarke, Robert P. Kurshan (eds.)
Investment Industry Claims Debunked: Smart Personal Finance Management For Ordinary Folks, Before and After Retirement
  • EPUB
  • English
  • Year: 2021
  • Author: Robert P. Kurshan
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
  • PDF
  • English
  • Year: 2014
  • Author: Robert P. Kurshan
Discrete Event Systems: Models and Applications: IIASA Conference Sopron, Hungary, August 3–7, 1987
  • PDF
  • English
  • Year: 1988
  • Author: Kemal Inan, Pravin Varaiya (auth.), Pravin Varaiya, Alexander B. Kurzhanski (eds.)
Immunologic Approaches to the Classification and Management of Lymphomas and Leukemias
  • PDF
  • English
  • Year: 1988
  • Author: Kenneth A. Foon, Robert P. Gale (auth.), John M. Bennett, Kenneth A. Foon (eds.)
Symbolic Model Checking
  • PDF
  • English
  • Year: 1993
  • Author: Kenneth L. McMillan (auth.)
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.)
The Neurobiology of Computation: Proceedings of the Third Annual Computation and Neural Systems Conference
  • PDF
  • English
  • Year: 1995
  • Author: Kenneth I. Blum, Marco A. P. Idiart (auth.), James M. Bower (eds.)
search