Eker, S. M. (1992). Verification of parameterised synchronous concurrent algorithms with OBJ3: The pixel planes architecture revisited.
Chicago-Zitierstil (17. Ausg.)Eker, S. M. Verification of Parameterised Synchronous Concurrent Algorithms with OBJ3: The Pixel Planes Architecture Revisited. Amsterdam, 1992.
MLA-Zitierstil (9. Ausg.)Eker, S. M. Verification of Parameterised Synchronous Concurrent Algorithms with OBJ3: The Pixel Planes Architecture Revisited. 1992.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.