BibTeX record conf/cav/EdelkampSS08

download as .bib file

@inproceedings{DBLP:conf/cav/EdelkampSS08,
  author    = {Stefan Edelkamp and
               Peter Sanders and
               Pavel Simecek},
  title     = {Semi-external {LTL} Model Checking},
  booktitle = {{CAV}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5123},
  pages     = {530--542},
  publisher = {Springer},
  year      = {2008}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics