Date : 1999
Format : 1 microfiche
Type : Livre / Book
Langue / Language : français / French
Collection : Lille-thèses / Atelier de reproduction des thèses / Lille : Atelier national de reproduction des thèses , 1983-2017
Relation : Spécification et preuve de systèmes réactifs / David Nowak ; sous la direction de Paul Le Guernic / [S.l.] : [s.n.] , 1999