Model checking dynamical systems

Research output: Contribution to journalArticlePopular

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

Cite this