Cita APA

Wimmer, S., & Mutius, J. v. (2020). Verified Certification of Reachability Checking for Timed Automata. Tools and Algorithms for the Construction and Analysis of Systems.

Citación estilo Chicago

Wimmer, Simon, y Joshua von Mutius. "Verified Certification of Reachability Checking for Timed Automata." Tools and Algorithms for the Construction and Analysis of Systems 2020.

Cita MLA

Wimmer, Simon, y Joshua von Mutius. "Verified Certification of Reachability Checking for Timed Automata." Tools and Algorithms for the Construction and Analysis of Systems 2020.