APA (7th ed.) Citation

Eker, S. M. (1992). Verification of parameterised synchronous concurrent algorithms with OBJ3: The pixel planes architecture revisited.

Chicago Style (17th ed.) Citation

Eker, S. M. Verification of Parameterised Synchronous Concurrent Algorithms with OBJ3: The Pixel Planes Architecture Revisited. Amsterdam, 1992.

MLA (9th ed.) Citation

Eker, S. M. Verification of Parameterised Synchronous Concurrent Algorithms with OBJ3: The Pixel Planes Architecture Revisited. 1992.

Warning: These citations may not always be 100% accurate.