Exact Acceleration of Real-Time Model Checking

Research output: Book/ReportBookResearch

21 Citations (Scopus)
Original languageEnglish
PublisherPergamon Press
Publication statusPublished - 2002
SeriesElectronic notes in theoretical science
Number65

Cite this

Hendriks, M., & Larsen, K. G. (2002). Exact Acceleration of Real-Time Model Checking. Pergamon Press. Electronic notes in theoretical science, No. 65