TkT: Automatic Inference of Timed and Extended Pushdown Automata

MLA

Fabrizio Pastore, et al. “TkT: Automatic Inference of Timed and Extended Pushdown Automata.” IEEE Transactions on Software Engineering, vol. 48, Feb. 2022, pp. 617–36. EBSCOhost, https://doi.org/10.1109/tse.2020.2998527.

APA

Fabrizio Pastore, Leonardo Mariani, Michell Guzman, & Daniela Micucci. (2022). TkT: Automatic Inference of Timed and Extended Pushdown Automata. IEEE Transactions on Software Engineering, 48, 617–636. https://doi.org/10.1109/tse.2020.2998527

Chicago

Fabrizio Pastore, Leonardo Mariani, Michell Guzman, and Daniela Micucci. 2022. “TkT: Automatic Inference of Timed and Extended Pushdown Automata.” IEEE Transactions on Software Engineering 48 (February): 617–36. doi:10.1109/tse.2020.2998527.