APA (7th ed.) Citation

PREUGSCHAT, E., & WILKE, T. (2013). EFFECTIVE CHARACTERIZATIONS OF SIMPLE FRAGMENTS OF TEMPORAL LOGIC USING CARTON–MICHEL AUTOMATA. Logical Methods in Computer Science (LMCS), 9(2), 1. https://doi.org/10.2168/LMCS-9(2:08)2013

Chicago Style (17th ed.) Citation

PREUGSCHAT, EBASTIAN, and THOMAS WILKE. "EFFECTIVE CHARACTERIZATIONS OF SIMPLE FRAGMENTS OF TEMPORAL LOGIC USING CARTON–MICHEL AUTOMATA." Logical Methods in Computer Science (LMCS) 9, no. 2 (2013): 1. https://doi.org/10.2168/LMCS-9(2:08)2013.

MLA (9th ed.) Citation

PREUGSCHAT, EBASTIAN, and THOMAS WILKE. "EFFECTIVE CHARACTERIZATIONS OF SIMPLE FRAGMENTS OF TEMPORAL LOGIC USING CARTON–MICHEL AUTOMATA." Logical Methods in Computer Science (LMCS), vol. 9, no. 2, 2013, p. 1, https://doi.org/10.2168/LMCS-9(2:08)2013.