English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Hauptwerk
Formal development of reactive systems: Case study production cell
Information
Publications
Export
Statistics
Options
Title
Formal development of reactive systems: Case study production cell
Verlag
Springer
Verlagsort
Berlin
Datum
1995
Serie
Lecture Notes in Computer Science
ISBN
3-540-58867-1
0-387-58867-1
