%0 Journal Article %1 journals/jss/WangW09 %A Wang, Ching-Huey %A Wang, Feng-Jian %D 2009 %J Journal of Systems and Software %K dblp %N 10 %P 1600-1619 %T Detecting artifact anomalies in business process specifications with a formal model. %U http://dblp.uni-trier.de/db/journals/jss/jss82.html#WangW09 %V 82

@article{journals/jss/WangW09, added-at = {2009-09-28T00:00:00.000+0200}, author = {Wang, Ching-Huey and Wang, Feng-Jian}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20a69dca3b86ec1c2d1c285679071886c/dblp}, ee = {http://dx.doi.org/10.1016/j.jss.2009.03.077}, interhash = {eeddea026ae274b8f9e64fc1e4b93205}, intrahash = {0a69dca3b86ec1c2d1c285679071886c}, journal = {Journal of Systems and Software}, keywords = {dblp}, number = 10, pages = {1600-1619}, timestamp = {2016-02-02T05:12:55.000+0100}, title = {Detecting artifact anomalies in business process specifications with a formal model.}, url = {http://dblp.uni-trier.de/db/journals/jss/jss82.html#WangW09}, volume = 82, year = 2009 }