%0 Conference Paper %1 conf/dagstuhl/MukherjeeDKSY03 %A Mukherjee, Saikat %A Davulcu, Hasan %A Kifer, Michael %A Senkul, Pinar %A Yang, Guizhen %B Logics for Emerging Applications of Databases %D 2003 %E Chomicki, Jan %E van der Meyden, Ron %E Saake, Gunter %I Springer %K dblp %P 167-202 %T Logic Based Approaches to Workflow Modeling and Verification. %U http://dblp.uni-trier.de/db/conf/dagstuhl/lead2003.html#MukherjeeDKSY03 %@ 3-540-00705-9

@inproceedings{conf/dagstuhl/MukherjeeDKSY03, added-at = {2003-09-04T00:00:00.000+0200}, author = {Mukherjee, Saikat and Davulcu, Hasan and Kifer, Michael and Senkul, Pinar and Yang, Guizhen}, biburl = {https://www.bibsonomy.org/bibtex/2b9f93b8b03aaed7e1862e49da775b110/dblp}, booktitle = {Logics for Emerging Applications of Databases}, crossref = {conf/dagstuhl/2003lead}, date = {2003-09-04}, description = {dblp}, editor = {Chomicki, Jan and van der Meyden, Ron and Saake, Gunter}, interhash = {2f33195762059509b61205bc21e6bedc}, intrahash = {b9f93b8b03aaed7e1862e49da775b110}, isbn = {3-540-00705-9}, keywords = {dblp}, pages = {167-202}, publisher = {Springer}, timestamp = {2003-09-04T00:00:00.000+0200}, title = {Logic Based Approaches to Workflow Modeling and Verification.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/lead2003.html#MukherjeeDKSY03}, year = 2003 }