AugustoHGFGL03'

BibTeX

@inproceedings{DBLP:conf/step/AugustoHGFGL03,
  author    = {Juan Carlos Augusto and
               Y. Howard and
               Andrew M. Gravell and
               Carla Ferreira and
               Stefan Gruner and
               Michael Leuschel},
  title     = {Model-Based Approaches for Validating Business Critical
               Systems},
  booktitle = {STEP},
  year      = {2003},
  pages     = {225-233},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/STEP.2003.19},
  crossref  = {DBLP:conf/step/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/step/2003,
  title     = {11th International Workshop on Software Technology and Engineering
               Practice (STEP 2003), 19-21 September 2003, Amsterdam, The
               Netherlands},
  booktitle = {STEP},
  publisher = {IEEE Computer Society},
  year      = {2004},
  isbn      = {0-7695-2218-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}