Exact Acceleration of Real-Time Model Checking

Publikation: Bog/antologi/afhandling/rapportBogForskning

22 Citationer (Scopus)
OriginalsprogEngelsk
ForlagPergamon Press
StatusUdgivet - 2002
NavnElectronic notes in theoretical science
Nummer65

Citationsformater

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