-
Selection by year
-
Selection by authors
-
Complete lists
amabegnon95a
T.P. Amagbegnon, P. Le Guernic, H. Marchand, E. Rutten. Signal- the specification of a generic, verified production cell controller. In Formal Development of Reactive Systems - Case Study Production Cell, C. Lewerentz, T. Lindner (eds.), Chap. 7, pp. 115-129, Lecture Notes in Computer Science, Springer Verlag, January 1995.
Contact
Hervé Marchand http://people.rennes.inria.fr/Herve.Marchand/
BibTex Reference
@InCollection{amabegnon95a,
Author = {Amagbegnon, T.P. and Le Guernic, P. and Marchand, H. and Rutten, E.},
Title = {Signal- the specification of a generic, verified production cell controller},
BookTitle = {Formal Development of Reactive Systems - Case Study Production Cell},
editor = {Lewerentz, C. and Lindner, T.},
Number = {891},
Chapter= {7},
Pages = {115--129},
Series = {Lecture Notes in Computer Science},
Publisher = {Springer Verlag},
Month = {January},
Year = {1995}
}
EndNote Reference [help]
Get EndNote Reference (.ref)