Yoeli, M., & Kol, R. (2008). Verification of systems and circuits using LOTOS, Petri Nets, and CCS. Wiley-Interscience.
Met succes gekopieerd naar Clipboard
Kopiëren naar Clipboard is mislukt
Chicago (17e ed.) Bronvermelding
Yoeli, Michael, en Rakefet Kol. Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS. Hoboken, N.J.: Wiley-Interscience, 2008.
Met succes gekopieerd naar Clipboard
Kopiëren naar Clipboard is mislukt
MLA (9e ed.) Bronvermelding
Yoeli, Michael, en Rakefet Kol. Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS. Wiley-Interscience, 2008.
Met succes gekopieerd naar Clipboard
Kopiëren naar Clipboard is mislukt
Let op: Deze citaties zijn niet altijd 100% accuraat.