Chen, B. (1983). Event-based specification and verification of distributed systems (Authoriz. facs.). Univ. Microfilms Internat.
Chicago-Zitierstil (17. Ausg.)Chen, Bo-Shoe. Event-based Specification and Verification of Distributed Systems. Authoriz. facs. Ann Arbor, Mich: Univ. Microfilms Internat, 1983.
MLA-Zitierstil (9. Ausg.)Chen, Bo-Shoe. Event-based Specification and Verification of Distributed Systems. Authoriz. facs. Univ. Microfilms Internat, 1983.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.