ℹ️
🇬🇧
Search
Search for publications relevant for "Hardware Verification"
Hardware Verification
Publication
Class
Person
Publication
Programmes
Export current view
publication
Infinite-state liveness-to-safety via implicit abstraction and well-founded relations
2016 |
Faculty of Mathematics and Physics
