GullaW93'

BibTeX

@inproceedings{DBLP:conf/caise/GullaW93,
  author    = {Jon Atle Gulla and
               Geir Willumsen},
  title     = {Using Explanations to Improve the Validation of Executable
               Models},
  booktitle = {CAiSE},
  year      = {1993},
  pages     = {118-142},
  ee        = {http://dx.doi.org/10.1007/3-540-56777-1_7},
  crossref  = {DBLP:conf/caise/93},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/caise/93,
  editor    = {Colette Rolland and
               Fran\c{c}ois Bodart and
               Corine Cauvet},
  title     = {Advanced Information Systems Engineering, CAiSE'93, Paris,
               France, June 8-11, 1993, Proceedings},
  booktitle = {CAiSE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {685},
  year      = {1993},
  isbn      = {3-540-56777-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}