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.)
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.)
Symbolic Model Checking
  • PDF
  • English
  • Year: 1993
  • Author: Kenneth L. McMillan (auth.)
search