%0 Conference Paper %1 conf/wecwis/OrdoniMYB22 %A Ordoni, Elaheh %A Mülle, Jutta A. %A Yang, Kuan %A Böhm, Klemens %B CBI (1) %D 2022 %I IEEE %K dblp %P 21-30 %T Efficient Verification of Process Models Supporting Modifications of Data Values. %U http://dblp.uni-trier.de/db/conf/wecwis/cbi2022-1.html#OrdoniMYB22 %@ 978-1-6654-6016-3

@inproceedings{conf/wecwis/OrdoniMYB22, added-at = {2022-11-24T00:00:00.000+0100}, author = {Ordoni, Elaheh and Mülle, Jutta A. and Yang, Kuan and Böhm, Klemens}, biburl = {https://www.bibsonomy.org/bibtex/25617c2d274049dbb8afd86e21b5370c0/dblp}, booktitle = {CBI (1)}, crossref = {conf/wecwis/2022-1}, ee = {https://doi.org/10.1109/CBI54897.2022.00010}, interhash = {49a472b6102e88b5b5ac3df259459946}, intrahash = {5617c2d274049dbb8afd86e21b5370c0}, isbn = {978-1-6654-6016-3}, keywords = {dblp}, pages = {21-30}, publisher = {IEEE}, timestamp = {2024-04-10T01:40:29.000+0200}, title = {Efficient Verification of Process Models Supporting Modifications of Data Values.}, url = {http://dblp.uni-trier.de/db/conf/wecwis/cbi2022-1.html#OrdoniMYB22}, year = 2022 }