Kahl, T. (2019). Higher-dimensional automata modeling shared-variable systems.
Citação norma ChicagoKahl, Thomas. Higher-dimensional Automata Modeling Shared-variable Systems. 2019.
Citação norma MLAKahl, Thomas. Higher-dimensional Automata Modeling Shared-variable Systems. 2019.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.