Van Mierop, D. (1979). Design and verification of distributed interacting processes. Los Angeles: Computer Science Dept., University of California.
Παραπομπή Chicago StyleVan Mierop, D. Design and Verification of Distributed Interacting Processes. Los Angeles: Computer Science Dept., University of California, 1979.
Παραπομπή MLAVan Mierop, D. Design and Verification of Distributed Interacting Processes. Los Angeles: Computer Science Dept., University of California, 1979.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.