@ARTICLE{badban-2009-10,
  author = {Bahareh Badban and Stefan Leue and Jan-Georg Smaus},
  title = {Automated Predicate Abstraction for Real-Time Models},
  journal = {EPTCS},
  editor =      {Axel Legay and Azadeh Farzan},
  volume = {10},
  pages = {36-43},
  year = {2009},
  subproject={R3},
  access={open},
  bibtex={badban.infinity2009.bib},
  pdf={badban.infinity2009.pdf},
  note = {Presented at INFINITY 2009, 11th International Workshop on Verification of Infinite-State Systems}
}