Home Advanced Search

Advanced Search - Page 1

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.)
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: 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
  • PDF
  • English
  • Year: 2000
  • Author: Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough (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.)
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Doron Peled (auth.), Rajeev Alur, Doron A. Peled (eds.)
Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
  • PDF
  • English
  • Year: 1976
  • Author: Dov M. Gabbay (auth.)
Handbook of Philosophical Logic: Volume 16
  • PDF
  • English
  • Year: 2011
  • Author: Odinaldo Rodrigues, Dov Gabbay, Alessandra Russo (auth.), Dov M. Gabbay, Franz Guenthner (eds.)
Handbook of Philosophical Logic
  • PDF
  • English
  • Year: 2002
  • Author: Dirk van Dalen (auth.), Dov M. Gabbay, F. Guenthner (eds.)
search