GrecoGS03'

BibTeX

@inproceedings{DBLP:conf/caise/GrecoGS03,
  author    = {Gianluigi Greco and
               Antonella Guzzo and
               Domenico Sacc{\`a}},
  title     = {A Logic-Based Formalism to Model and Analyze Workflow Executions},
  booktitle = {CAiSE Short Paper Proceedings},
  year      = {2003},
  ee        = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-74/files/FORUM_07.pdf},
  crossref  = {DBLP:conf/caise/2003fo},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/caise/2003fo,
  editor    = {Johann Eder and
               Tatjana Welzer},
  title     = {The 15th Conference on Advanced Information Systems Engineering
                (CAiSE '03), Klagenfurt/Velden, Austria, 16-20 June, 2003,
               CAiSE Forum, Short Paper Proceedings, Information Systems
               for a Connected Society},
  booktitle = {CAiSE Short Paper Proceedings},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {74},
  year      = {2003},
  isbn      = {86-435-0549-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}