Home Advanced Search

Advanced Search - Page 1

A Survey of Verification Techniques for Parallel Programs
  • DJVU
  • English
  • Year: 1985
  • Author: Howard Barringer (auth.)
A Survey of Verification Techniques for Parallel Programs
  • PDF
  • English
  • Year: 1985
  • Author: Howard Barringer (auth.)
Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989
  • PDF
  • English
  • Year: 1992
  • Author: Howard Barringer, Dov Gabbay (auth.), Yiannis N. Moschovakis (eds.)
Runtime Verification: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Howard Barringer, Klaus Havelund (auth.), Sarfraz Khurshid, Koushik Sen (eds.)
Time for Verification: Essays in Memory of Amir Pnueli
  • PDF
  • English
  • Year: 2010
  • Author: Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)
Time for Verification: Essays in Memory of Amir Pnueli
  • PDF
  • English
  • Year: 2010
  • Author: Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (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.)
Advances in temporal logic
  • DJVU
  • English
  • Year: 2000
  • Author: Iliano Cervesato, Massimo Franceschet, Angelo Montanari (auth.), Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough (eds.)
Advances in Temporal Logic
  • PDF
  • English
  • Year: 2000
  • Author: Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough (eds.)
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)
search