Lewerentz, C., & Lindner, T. Formal development of reactive systems: Case study production cell. Springer.
Style de citation Chicago (17e éd.)Lewerentz, Claus, et Thomas Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Berlin [etc.]: Springer.
Style de citation MLA (8e éd.)Lewerentz, Claus, et Thomas Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Springer.
Attention : ces citations peuvent ne pas être correctes à 100%.