TY  - RPRT
TI  - Automated Predicate Abstraction for Real-Time Models
AU  - Bahareh Badban
AU  - Stefan Leue
AU  - Jan-Georg Smaus
PY  - 2009
DO  - 10.4204/eptcs.10.3
UR  - https://arxiv.org/abs/0911.3277
ID  - 0911.3277
ER  -