BibTeX record conf/tacas/LindahlPY98

download as .bib file

@inproceedings{DBLP:conf/tacas/LindahlPY98,
  author    = {Magnus Lindahl and
               Paul Pettersson and
               Wang Yi},
  title     = {Formal Design and Analysis of a Gear Controller},
  booktitle = {{TACAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1384},
  pages     = {281--297},
  publisher = {Springer},
  year      = {1998}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics