KarsaiN06'

BibTeX

@inproceedings{DBLP:conf/aswsd/KarsaiN06,
  author    = {Gabor Karsai and
               Anantha Narayanan},
  title     = {Towards Verification of Model Transformations Via Goal-Directed
               Certification},
  booktitle = {ASWSD},
  year      = {2006},
  pages     = {67-83},
  ee        = {http://dx.doi.org/10.1007/978-3-540-70930-5_5},
  crossref  = {DBLP:conf/aswsd/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aswsd/2006,
  editor    = {Manfred Broy and
               Ingolf H. Kr{\"u}ger and
               Michael Meisinger},
  title     = {Model-Driven Development of Reliable Automotive Services,
               Second Automotive Software Workshop, ASWSD 2006, San Diego,
               CA, USA, March 15-17, 2006, Revised Selected Papers},
  booktitle = {ASWSD},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4922},
  year      = {2008},
  isbn      = {978-3-540-70929-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}