Lewerentz, C., & Lindner, T. Formal development of reactive systems: Case study production cell. Springer.
Chicagoスタイル(17版)引用形式Lewerentz, Claus, , Thomas Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Berlin [etc.]: Springer.
MLA(8版)引用形式Lewerentz, Claus, , Thomas Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Springer.
警告: この引用は必ずしも正確ではありません.