Home Advanced Search

Advanced Search - Page 1

Temporal Verification of Reactive Systems: Safety
  • DJVU
  • English
  • Year: 1995
  • Author: Manna Z., Pnueli A.
Temporal verification of reactive systems: progress
  • PDF
  • English
  • Year: 1996
  • Author: Manna Z., Pnueli A.
Temporal Verification of Reactive Systems: Safety
  • PDF
  • English
  • Year: 1995
  • Author: Zohar Manna, Amir Pnueli
Mathematical theory of computation
  • DJVU
  • English
  • Year: 1974
  • Author: Manna Z.
The Temporal Logic of Reactive and Concurrent Systems: Specification
  • PDF
  • English
  • Year: 1992
  • Author: Zohar Manna, Amir Pnueli (auth.)
The calculus of computation: Decision procedures with applications to verification
  • PDF
  • English
  • Year: 2007
  • Author: Bradley A., Manna Z.
Two approaches to interprocedural data flow analysis
  • PDF
  • English
  • Year: 1978
  • Author: Pnueli, A.; Sharir, Micha
Review of Physiology
  • PDF
  • English
  • Year: 2020
  • Author: MANNA SOUMEn, Soumen Manna
Review of Physiology
  • PDF
  • English
  • Year: 2018
  • Author: Soumen Manna
The Biography of Prophet Muhammad ﷺ from Reliable and Credibly Established Narrations, 3 volumes
  • PDF
  • English
  • Author: Mohammed Manna
search