@Article{Nguyen:TCAD-27-11-2068,
  author =       "Minh Duc Nguyen and Max Thalmaier and Markus Wedler
                 and J{\"o}rg Bormann and Dominik Stoffel and Wolfgang
                 Kunz",
  title =        "Unbounded Protocol Compliance Verification Using
                 Interval Property Checking With Invariants",
  journal =      "IEEE Transactions on Computer-Aided Design of
                 Integrated Circuits and Systems",
  volume =       "27",
  number =       "11",
  month =        nov,
  year =         "2008",
  pages =        "2068--2082",
  ee =           "http://dx.doi.org/10.1109/TCAD.2008.2006092",
}