TY  - RPRT
TI  - Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
AU  - Carlo A. Furia
AU  - Matteo Pradella
AU  - Matteo Rossi
PY  - 2008
DO  - 10.1007/978-3-540-88194-0_19
UR  - https://arxiv.org/abs/0804.4383
ID  - 0804.4383
ER  -