Identifiant IdRef : 066852196
Notice de type
Personne
BnF Service hébreu, 2007-01-18
Israel academy of sciences and humanities - http://www.academy.ac.il (2007-01-18)
Temporal verification of reactive systems / Zohar Manna, Amir Pnueli, 1995
Weizmann institute of science - http://www.weizmann.ac.il (2007-01-18)
Source consultée en vain : JNUL - http://jnul.huji.ac.il (2007-01-18). - Israel academy of sciences and humanities
- http://www.academy.ac.il (2009-11-16). - New York university - http://www.cs.nyu.edu
(2009-11-16). - Haaretz, 2009-11-15 - http://www.haaretz.co.il (2009-11-16)
Identifiant BNF : FRBNF146146775
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial
Equivalent dans un autre référentiel