Parametric real-time model checking using splitting trees

RF Lutje Spelberg, WJ Toetenel

Research output: Contribution to journalArticleScientific

Original languageUndefined/Unknown
Pages (from-to)88-120
Number of pages33
JournalNordic Journal of Computing
Volume8
Publication statusPublished - 2001

Keywords

  • ZX Int.klas.verslagjaar < 2002

Cite this