http://d-nb.info/gnd/113114753




Personen
Link zu diesem Datensatz http://d-nb.info/gnd/113114753
Name Pnûʾēlî, Āmîr
Publikationen von Autoren mit diesem Namen 2 Publikationen
  1. Temporal verification of reactive systems
    Manna, Zohar. - New York : Springer, 1995
  2. The temporal logic of reactive and concurrent systems
    Manna, Zohar. - New York : Springer, 1992
Beteiligt an 2 Publikationen
  1. Perspectives of systems informatics
    Berlin : Springer, 2010
  2. Time for verification
    Berlin : Springer, 2010