LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Research » Publications
Books
Edited books
Journal articles
Book chapters
Conference papers
Other publications
Habilitations
Thesis

Static control through the serializability of concurrent programs

Type : Conference Proceedings

Year : 1991

Secondary Title : Proceedings IMACS, Symp. on Modelling and Control of Technological Systems, Lille

Pages : 653-658

Authors : Bérard, Béatrice

 Mentions légales
Site map |