Research output

Model checking dynamical systems

Research output: Contribution to journalArticlePopular

Associated researcher

Associated organisations

View graph of relations

Details

Original languageEnglish
Pages (from-to)214-220
JournalNieuw archief voor Wiskunde
Volume5/17
Issue number3
Publication statusPublished - Sep 2016