. . "2016-02-16"^^ . . "2006-11-22" . . "Chargé de recherche au LORIA-INRIA (Laboratoire lorrain de recherche en informatique & ses applications-Institut national de recherche en informatique et en automatique), Vandoeuvre-lès-Nancy (Meurthe-et-Moselle) (en 2006)"@fr . . . . "ISNI" . "Chargé de recherche au LORIA-INRIA (Laboratoire lorrain de recherche en informatique & ses applications-Institut national de recherche en informatique et en automatique), Vandoeuvre-lès-Nancy (Meurthe-et-Moselle) (en 2006)" . "15114581"^^ . . . . . . "Nicolas" . . "Chargé de recherche au LORIA-INRIA (Laboratoire lorrain de recherche en informatique & ses applications-Institut national de recherche en informatique et en automatique), Vandoeuvre-lès-Nancy (Meurthe-et-Moselle) (en 2006)" . "Systèmes temps réel. 1, Techniques de description et de vérification / sous la direction de Nicolas Navet, impr. 2006. - . - Internet. - http://web.univ-ubs.fr/lester/~julien/AS%20conso/PARTICIPANTS.htm. - 2006-11-23"@fr . . . . . . "2016-02-16" . "Navet" . . . "male" . "Nicolas Navet"@fr . "Nicolas Navet" . . . . . . "0000000116408324" .