@inproceedings{langiscit2006,
  author    = "Jan Langer and Vasco Jerinic and Ulrich Heinkel and D. Müller",
  title     = "Improved Coverage Driven Verification and Corner Case Analysis Using Decision Diagrams",
  booktitle = "International Symposium on Communications and Information Technologies 2006 (ISCIT'06)",
  year      = "2006",
  address   = "Bangkok, Thailand",
  month     = "18--20~" # oct,
  isbn      = "0-7803-9741-X"
}