Practical Automated Partial Verification of Multi-paradigm Real-Time Models.

Carlo A. Furia, Matteo Pradella, Matteo Rossi

Browse the full ICFEM paper archive.