@inproceedings{DBLP:conf/coopis/TrajcevskiBL00,
author = {Goce Trajcevski and
Chitta Baral and
Jorge Lobo},
title = {Formalizing (and Reasoning About) the Specifications of
Workflows},
booktitle = {CoopIS},
year = {2000},
pages = {1-17},
ee = {http://dx.doi.org/10.1007/10722620_1},
crossref = {DBLP:conf/coopis/2000},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/coopis/2000,
editor = {Opher Etzion and
Peter Scheuermann},
title = {Cooperative Information Systems, 7th International Conference,
CoopIS 2000, Eilat, Israel, September 6-8, 2000, Proceedings},
booktitle = {CoopIS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1901},
year = {2000},
isbn = {3-540-41021-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2008-10-30 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
