%0 Journal Article %1 journals/tkde/CarmonaC14 %A Carmona, Josep %A Cortadella, Jordi %D 2014 %J IEEE Trans. Knowl. Data Eng. %K dblp %N 12 %P 3064-3076 %T Process Discovery Algorithms Using Numerical Abstract Domains. %U http://dblp.uni-trier.de/db/journals/tkde/tkde26.html#CarmonaC14 %V 26

@article{journals/tkde/CarmonaC14, added-at = {2018-11-14T00:00:00.000+0100}, author = {Carmona, Josep and Cortadella, Jordi}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b6506dcdb5d3f1ec9efaa5499a3cb739/dblp}, ee = {https://www.wikidata.org/entity/Q56891847}, interhash = {f6b5b5c71ac1610d1d94f13a7ba3d40b}, intrahash = {b6506dcdb5d3f1ec9efaa5499a3cb739}, journal = {IEEE Trans. Knowl. Data Eng.}, keywords = {dblp}, number = 12, pages = {3064-3076}, timestamp = {2019-09-27T08:54:51.000+0200}, title = {Process Discovery Algorithms Using Numerical Abstract Domains.}, url = {http://dblp.uni-trier.de/db/journals/tkde/tkde26.html#CarmonaC14}, volume = 26, year = 2014 }