Luna, C., Sierra, L., & Zanarini, D. (2014). Formalizing alternating-time temporal logic in the coq proof assistant.
Met succes gekopieerd naar Clipboard
Kopiëren naar Clipboard is mislukt
Chicago (17e ed.) Bronvermelding
Luna, Carlos, Luis Sierra, en Dante Zanarini. Formalizing Alternating-time Temporal Logic in the Coq Proof Assistant. 2014.
Met succes gekopieerd naar Clipboard
Kopiëren naar Clipboard is mislukt
MLA (9e ed.) Bronvermelding
Luna, Carlos, et al. Formalizing Alternating-time Temporal Logic in the Coq Proof Assistant. 2014.
Met succes gekopieerd naar Clipboard
Kopiëren naar Clipboard is mislukt
Let op: Deze citaties zijn niet altijd 100% accuraat.