Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata

MLA

Julian Brunner. Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata. Jan. 2020. EBSCOhost, https://doi.org/10.1007/978-3-030-63461-2_13.

APA

Julian Brunner. (2020). Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata. https://doi.org/10.1007/978-3-030-63461-2_13

Chicago

Julian Brunner. 2020. “Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata,” January. doi:10.1007/978-3-030-63461-2_13.