%0 Journal Article %1 journals/is/AalstLR12 %A van der Aalst, Wil M. P. %A Lohmann, Niels %A Rosa, Marcello La %D 2012 %J Inf. Syst. %K %N 6 %P 574-592 %T Ensuring correctness during process configuration via partner synthesis. %U http://dblp.uni-trier.de/db/journals/is/is37.html#AalstLR12 %V 37

@article{journals/is/AalstLR12, added-at = {2023-12-13T02:50:25.000+0100}, author = {van der Aalst, Wil M. P. and Lohmann, Niels and Rosa, Marcello La}, biburl = {https://www.bibsonomy.org/bibtex/2fd1f2b08ec4f3a7a4f9636956368ae25/admin}, ee = {https://www.wikidata.org/entity/Q57005063}, interhash = {84461ac8c7246a5c605455f36257e87f}, intrahash = {fd1f2b08ec4f3a7a4f9636956368ae25}, journal = {Inf. Syst.}, keywords = {}, number = 6, pages = {574-592}, timestamp = {2023-12-13T02:50:25.000+0100}, title = {Ensuring correctness during process configuration via partner synthesis.}, url = {http://dblp.uni-trier.de/db/journals/is/is37.html#AalstLR12}, volume = 37, year = 2012 }