BibTeX record conf/wdas/Villain99

download as .bib file

@inproceedings{DBLP:conf/wdas/Villain99,
  author    = {Vincent Villain},
  title     = {A Key Tool for Optimality in the State Model},
  booktitle = {{WDAS}},
  series    = {Proceedings in Informatics},
  volume    = {6},
  pages     = {133--148},
  publisher = {Carleton Scientific},
  year      = {1999}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics