@inproceedings{conf/eurodac/SchlorK95,
  added-at = {2008-04-09T00:00:00.000+0200},
  author = {Schlör, Rainer and Korf, Franz},
  biburl = {http://www.bibsonomy.org/bibtex/2bccff227d626bad24cc91d51b01a8710/dblp},
  booktitle = {EURO-DAC},
  crossref = {conf/eurodac/1995},
  date = {2008-04-09},
  description = {dblp},
  ee = {http://doi.acm.org/10.1145/224270.224386},
  interhash = {1d0ab77efe63e830d5fb5be830f17727},
  intrahash = {bccff227d626bad24cc91d51b01a8710},
  isbn = {0-8186-7156-4},
  keywords = {dblp},
  pages = {548-553},
  publisher = {IEEE Computer Society},
  timestamp = {2008-04-09T00:00:00.000+0200},
  title = {Verification of a production cell controller using symbolic timing diagrams.},
  url = {http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1995.html#SchlorK95},
  year = 1995
}