DBLP BibTeX Record 'conf/seus/KordonHR08'

@inproceedings{DBLP:conf/seus/KordonHR08,
  author    = {Fabrice Kordon and
               J{\'e}r{\^o}me Hugues and
               Xavier Renault},
  title     = {From Model Driven Engineering to Verification Driven Engineering},
  booktitle = {SEUS},
  year      = {2008},
  pages     = {381-393},
  ee        = {http://dx.doi.org/10.1007/978-3-540-87785-1_34},
  crossref  = {DBLP:conf/seus/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/seus/2008,
  editor    = {Uwe Brinkschulte and
               Tony Givargis and
               Stefano Russo},
  title     = {Software Technologies for Embedded and Ubiquitous Systems,
               6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi,
               Capri Island, Italy, October 1-3, 2008, Proceedings},
  booktitle = {SEUS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5287},
  year      = {2008},
  isbn      = {978-3-540-87784-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}