BibTeX record conf/date/BraunBLR10

download as .bib file

@inproceedings{DBLP:conf/date/BraunBLR10,
  author    = {Andreas Braun and
               Oliver Bringmann and
               Djones Lettnin and
               Wolfgang Rosenstiel},
  title     = {Simulation-based verification of the {MOST} NetInterface specification
               revision 3.0},
  booktitle = {{DATE}},
  pages     = {538--543},
  publisher = {{IEEE} Computer Society},
  year      = {2010}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics