MukherjeeDKSY03'

@inproceedings{DBLP:conf/dagstuhl/MukherjeeDKSY03,
  author    = {Saikat Mukherjee and
               Hasan Davulcu and
               Michael Kifer and
               Pinar Senkul and
               Guizhen Yang},
  title     = {Logic Based Approaches to Workflow Modeling and Verification},
  booktitle = {Logics for Emerging Applications of Databases},
  year      = {2003},
  pages     = {167-202},
  crossref  = {DBLP:conf/dagstuhl/2003lead},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/dagstuhl/2003lead,
  editor    = {Jan Chomicki and
               Ron van der Meyden and
               Gunter Saake},
  title     = {Logics for Emerging Applications of Databases [outcome of
               a Dagstuhl seminar]},
  booktitle = {Logics for Emerging Applications of Databases},
  publisher = {Springer},
  year      = {2003},
  isbn      = {3-540-00705-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}