APA (7th ed.) Citation

BASILE, D. (2026). FORMAL ANALYSIS OF THE CONTRACT AUTOMATA RUNTIME ENVIRONMENT WITH UPPAAL: MODELLING, VERIFICATION AND TESTING. Logical Methods in Computer Science (LMCS), 22(1), 8:1. https://doi.org/10.46298/LMCS-22(1:8)2026

Chicago Style (17th ed.) Citation

BASILE, DAVIDE. "FORMAL ANALYSIS OF THE CONTRACT AUTOMATA RUNTIME ENVIRONMENT WITH UPPAAL: MODELLING, VERIFICATION AND TESTING." Logical Methods in Computer Science (LMCS) 22, no. 1 (2026): 8:1. https://doi.org/10.46298/LMCS-22(1:8)2026.

MLA (9th ed.) Citation

BASILE, DAVIDE. "FORMAL ANALYSIS OF THE CONTRACT AUTOMATA RUNTIME ENVIRONMENT WITH UPPAAL: MODELLING, VERIFICATION AND TESTING." Logical Methods in Computer Science (LMCS), vol. 22, no. 1, 2026, p. 8:1, https://doi.org/10.46298/LMCS-22(1:8)2026.