Identifiant pérenne de la notice : 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)