APA (7th ed.) Citation

Chen, B. (1983). Event-based specification and verification of distributed systems (Authoriz. facs.). Univ. Microfilms Internat.

Chicago Style (17th ed.) Citation

Chen, Bo-Shoe. Event-based Specification and Verification of Distributed Systems. Authoriz. facs. Ann Arbor, Mich: Univ. Microfilms Internat, 1983.

MLA (9th ed.) Citation

Chen, Bo-Shoe. Event-based Specification and Verification of Distributed Systems. Authoriz. facs. Univ. Microfilms Internat, 1983.