25 Years of Model Checking - History, Achievements, Perspectives (bibtex)
by Unknown
Reference:
25 Years of Model Checking - History, Achievements, Perspectives (Orna Grumberg, Helmut Veith, eds.), volume 5000 of Lecture Notes in Computer Science, 2008, Springer.
Bibtex Entry:
@proceedings{DBLP:conf/spin/5000,
  title = {25 Years of Model Checking - History, Achievements, Perspectives},
  year = {2008},
  booktitle = {25 Years of Model Checking},
  editor = {Orna Grumberg and Helmut Veith},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5000},
  isbn = {978-3-540-69849-4}
}
Powered by bibtexbrowser