Döring, M., Enright, J., Larios-Jones, L., & Skretas, G. (2026). FO and MSO Model Checking on Temporal Graphs.
Chicago Style (17th ed.) CitationDöring, Michelle, Jessica Enright, Laura Larios-Jones, and George Skretas. FO and MSO Model Checking on Temporal Graphs. 2026.
MLA (9th ed.) CitationDöring, Michelle, et al. FO and MSO Model Checking on Temporal Graphs. 2026.
Warning: These citations may not always be 100% accurate.