%0 Journal Article %1 journals/fuin/MateoSS15 %A Mateo, José Antonio %A Srba, Jirí %A Sørensen, Mathias Grund %D 2015 %J Fundam. Informaticae %K dblp %N 1 %P 89-121 %T Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics. %U http://dblp.uni-trier.de/db/journals/fuin/fuin140.html#MateoSS15 %V 140

@article{journals/fuin/MateoSS15, added-at = {2023-03-21T00:00:00.000+0100}, author = {Mateo, José Antonio and Srba, Jirí and Sørensen, Mathias Grund}, biburl = {https://www.bibsonomy.org/bibtex/292a7a1c866e953583ab685d92fe73cdd/dblp}, ee = {https://doi.org/10.3233/FI-2015-1246}, interhash = {c2a33c18a213f19160e9177693c89bb9}, intrahash = {92a7a1c866e953583ab685d92fe73cdd}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = 1, pages = {89-121}, timestamp = {2024-04-08T10:04:55.000+0200}, title = {Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin140.html#MateoSS15}, volume = 140, year = 2015 }