Citação norma 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.

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.