Home Advanced Search

Advanced Search - Page 1

Formal Methods in Systems Biology: First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings

PDF
English
Year: 2008
Author: David Harel, Yaki Setty (auth.), Jasmin Fisher (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.)

Mathematics of Program Construction: 4th International Conference, MPC'98 Marstrand, Sweden, June 15–17, 1998 Proceedings

PDF
English
Year: 1998
Author: David Harel (auth.), Johan Jeuring (eds.)

First-Order Dynamic Logic

PDF
English
Year: 1979
Author: David Harel (eds.)

First-Order Dynamic Logic

DJVU
English
Year: 1979
Author: David Harel (eds.)

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

PDF
English
Year: 2011
Author: David Harel (auth.), Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.)

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

PDF
English
Year: 2013
Author: David Harel (auth.), Armin Biere, Amir Nahir, Tanja Vos (eds.)