Cita APA (7a ed.)
Yoeli, M., & Kol, R. Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS. John Wiley & Sons, Incorporated.
Cita Chicago Style (17a ed.)
Yoeli, Michael, y Rakefet Kol. Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS. US: John Wiley & Sons, Incorporated.
Cita MLA (9a ed.)
Yoeli, Michael, y Rakefet Kol. Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS. John Wiley & Sons, Incorporated.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.