On two-sided approximate model-checking: problem formulation and solution via finite topologies
- Jennifer M. Davoren
- , Thomas Moor
- , R. P. Goré
- , Vaughan Coulthard
- , Anil Nerode
Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
1
Citation
(Scopus)