%0 Conference Paper %1 conf/bpm/AalstLRX10 %A van der Aalst, Wil M. P. %A Lohmann, Niels %A Rosa, Marcello La %A Xu, Jingxin %B BPM %D 2010 %E Hull, Richard %E Mendling, Jan %E Tai, Stefan %I Springer %K %P 95-111 %T Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis. %U http://dblp.uni-trier.de/db/conf/bpm/bpm2010.html#AalstLRX10 %V 6336 %@ 978-3-642-15617-5

@inproceedings{conf/bpm/AalstLRX10, added-at = {2023-12-13T00:08:06.000+0100}, author = {van der Aalst, Wil M. P. and Lohmann, Niels and Rosa, Marcello La and Xu, Jingxin}, biburl = {https://www.bibsonomy.org/bibtex/2e2692bfcc6da823ca62c30622b72af98/admin}, booktitle = {BPM}, crossref = {conf/bpm/2010}, editor = {Hull, Richard and Mendling, Jan and Tai, Stefan}, ee = {https://www.wikidata.org/entity/Q57005321}, interhash = {5f3c7ade2ae4a3ad41b21229c1ac2e61}, intrahash = {e2692bfcc6da823ca62c30622b72af98}, isbn = {978-3-642-15617-5}, keywords = {}, pages = {95-111}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T00:08:06.000+0100}, title = {Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/bpm/bpm2010.html#AalstLRX10}, volume = 6336, year = 2010 }