Media type: E-Article Title: Process Discovery Algorithms Using Numerical Abstract Domains Contributor: Carmona, Josep; Cortadella, Jordi Published: Institute of Electrical and Electronics Engineers (IEEE), 2014 Published in: IEEE Transactions on Knowledge and Data Engineering, 26 (2014) 12, Seite 3064-3076 Language: Not determined DOI: 10.1109/tkde.2013.156 ISSN: 1041-4347 Origination: Footnote: