Identifiant pérenne de la notice : 167534165
Notice de type
Personne
Internet, http://authorities.loc.gov, 2013-02-18
Information trouvée : né le 1951-12-20
Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings /
B. Banieqbal, H. Barringer, A. Pnueli (eds.), 1989
Source consultée en vain : Internet, http://catalogue.bnf.fr, 2013-02-18