Symbolic model checking for probabilistic timed automata

Marta Kwiatkowska, Gethin Norman, Jeremy Sproston, F Wang

Research output: Contribution to journalArticle

89 Citations (Scopus)

Search results