Home Advanced Search

Advanced Search - Page 1

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.)

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.)

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

PDF
English
Year: 2009
Author: Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.)

Sustainability Communication: Interdisciplinary Perspectives and Theoretical Foundation

PDF
English
Year: 2011
Author: Jasmin Godemann, Gerd Michelsen (auth.), Jasmin Godemann, Gerd Michelsen (eds.)

Longevity and Quality of Life: Opportunities and Challenges

PDF
English
Year: 2000
Author: Claude Jasmin (auth.), Robert N. Butler M.D., Claude Jasmin M.D. (eds.)

Cancer, AIDS, and Quality of Life

PDF
English
Year: 1997
Author: Claude Jasmin (auth.), Jay A. Levy M.D., Claude Jasmin M.D., F.A.C.P., Gabriel Bez (eds.)

Membrane Physiopathology

PDF
English
Year: 1994
Author: Gaétan Jasmin, Libuse Proschek (auth.), Ghassan Bkaily (eds.)