Lewerentz, C., & Lindner, T. (1995). Formal development of reactive systems: Case study production cell. Springer-Verlag.
Citación estilo ChicagoLewerentz, Claus, and Thomas Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Berlin: Springer-Verlag, 1995.
Cita MLALewerentz, Claus, and Thomas Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Springer-Verlag, 1995.
Warning: These citations may not always be 100% accurate.