JamesU03'

BibTeX

@inproceedings{DBLP:conf/nddl/JamesU03,
  author    = {Simon St. James and
               Ulrich Ultes-Nitsche},
  title     = {An Optimised Partial-Order Approach to the Verification
               of System Components},
  booktitle = {NDDL/VVEIS},
  year      = {2003},
  pages     = {69-81},
  crossref  = {DBLP:conf/nddl/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/nddl/2003,
  editor    = {Pedro T. Isa\'{\i}as and
               Florence Sedes and
               Juan Carlos Augusto and
               Ulrich Ultes-Nitsche},
  title     = {New Technologies for Information Systems, Proceedings of
               the 3rd International Workshop on New Developments in Digital
               Libraries, NDDL 2003, and the 1st International Workshop
               on Validation and Verification of Software for Enterprise
               Information Systems, VVEIS 2003, In conjunction with ICEIS
               2003, Angers, France, April 2003},
  booktitle = {NDDL/VVEIS},
  publisher = {ICEIS Press},
  year      = {2003},
  isbn      = {972-98816-2-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}