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.), Chapter 7, Pages 115-129, Lecture Notes in Computer Science, Springer Verlag, January 1995.

Jump to : Contact | BibTex reference | EndNote reference |

Contact

Hervé Marchand
hmarchan@irisa.fr

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)


This page has been automatically generated using the bib2html program.