ℹ️
🇬🇧
Search
Search for people relevant for "LTL"
LTL
Person
Class
Person
Publication
Programmes
Export current view
Mgr. Tomáš Matoušek
External person at Faculty of Mathematics and Physics
3 publications
Publications
publication
DeSpec: Modeling the Windows Driver Environment
2009 |
Faculty of Mathematics and Physics
publication
Extracting Zing Models from C Source Code
+1
2007 |
Faculty of Mathematics and Physics
Loading network view...