ℹ️
🇬🇧
Search
Search for people relevant for "Model Checking"
Model Checking
Person
Class
Person
Publication
Programmes
Kristina Asimi Ph.D.
External academic staff at Faculty of Mathematics and Physics
2 publications
Publications
publication
Fixed-Template Promise Model Checking Problems
2022 |
Faculty of Mathematics and Physics
publication
Finitely Tractable Promise Constraint Satisfaction Problems
2021 |
Faculty of Mathematics and Physics
Loading network view...
