%0 Journal Article %1 journals/tse/PastoreMGM22 %A Pastore, Fabrizio %A Micucci, Daniela %A Guzmán, Michell %A Mariani, Leonardo %D 2022 %J IEEE Trans. Software Eng. %K dblp %N 2 %P 617-636 %T TkT: Automatic Inference of Timed and Extended Pushdown Automata. %U http://dblp.uni-trier.de/db/journals/tse/tse48.html#PastoreMGM22 %V 48

@article{journals/tse/PastoreMGM22, added-at = {2022-04-01T00:00:00.000+0200}, author = {Pastore, Fabrizio and Micucci, Daniela and Guzmán, Michell and Mariani, Leonardo}, biburl = {https://www.bibsonomy.org/bibtex/242af3254610e628e0fc6c3e5127c3ff9/dblp}, ee = {https://doi.org/10.1109/TSE.2020.2998527}, interhash = {2a48f0b2b365239c886b4c5737f4c674}, intrahash = {42af3254610e628e0fc6c3e5127c3ff9}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 2, pages = {617-636}, timestamp = {2024-04-08T21:08:31.000+0200}, title = {TkT: Automatic Inference of Timed and Extended Pushdown Automata.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse48.html#PastoreMGM22}, volume = 48, year = 2022 }