Yoeli, M., & Kol, R. (2008). Verification of systems and circuits using LOTOS, Petri Nets, and CCS. Wiley-Interscience.
芝加哥风格引文Yoeli, Michael, 与 Rakefet Kol. Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS. Hoboken, N.J.: Wiley-Interscience, 2008.
MLA引文Yoeli, Michael, 与 Rakefet Kol. Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS. Wiley-Interscience, 2008.
警告：这些引文格式不一定是100％准确.