Home Advanced Search

Advanced Search - Page 1

Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: John Erickson, Stephen Freund, Madanlal Musuvathi (auth.), Shaz Qadeer, Serdar Tasiran (eds.)
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Jasmin Fisher (auth.), Alex Groce, Madanlal Musuvathi (eds.)
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Jasmin Fisher (auth.), Alex Groce, Madanlal Musuvathi (eds.)
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Jasmin Fisher (auth.), Alex Groce, Madanlal Musuvathi (eds.)
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Jasmin Fisher (auth.), Alex Groce, Madanlal Musuvathi (eds.)
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Vijay Ganesh, Adam Kieżun, Shay Artzi, Philip J. Guo (auth.), Ganesh Gopalakrishnan, Shaz Qadeer (eds.)
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Vijay Ganesh, Adam Kieżun, Shay Artzi, Philip J. Guo (auth.), Ganesh Gopalakrishnan, Shaz Qadeer (eds.)
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Vijay Ganesh, Adam Kieżun, Shay Artzi, Philip J. Guo (auth.), Ganesh Gopalakrishnan, Shaz Qadeer (eds.)
CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie (auth.), Philippa Gardner, Nobuko Yoshida (eds.)
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
  • PDF
  • English
  • Year: 2019
  • Author: Isil Dillig, Serdar Tasiran
search