%0 Conference Paper %1 conf/icsoc/GeredeS07 %A Gerede, Cagdas E. %A Su, Jianwen %B ICSOC %D 2007 %E Krämer, Bernd J. %E Lin, Kwei-Jay %E Narasimhan, Priya %I Springer %K dblp %P 181-192 %T Specification and Verification of Artifact Behaviors in Business Process Models. %U http://dblp.uni-trier.de/db/conf/icsoc/icsoc2007.html#GeredeS07 %V 4749 %@ 978-3-540-74973-8

@inproceedings{conf/icsoc/GeredeS07, added-at = {2019-02-13T00:00:00.000+0100}, author = {Gerede, Cagdas E. and Su, Jianwen}, biburl = {https://www.bibsonomy.org/bibtex/2b85b516adb8359506d5bc01bb27f5764/dblp}, booktitle = {ICSOC}, crossref = {conf/icsoc/2007}, editor = {Krämer, Bernd J. and Lin, Kwei-Jay and Narasimhan, Priya}, ee = {https://doi.org/10.1007/978-3-540-74974-5_15}, interhash = {282cceb054f1afb50c5c53d652e7bf4e}, intrahash = {b85b516adb8359506d5bc01bb27f5764}, isbn = {978-3-540-74973-8}, keywords = {dblp}, pages = {181-192}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:59:44.000+0200}, title = {Specification and Verification of Artifact Behaviors in Business Process Models.}, url = {http://dblp.uni-trier.de/db/conf/icsoc/icsoc2007.html#GeredeS07}, volume = 4749, year = 2007 }