On two-sided approximate model-checking: problem formulation and solution via finite topologies
Citation
Davoren, J, Moor, T, Gore, R et al 2004, 'On two-sided approximate model-checking: problem formulation and solution via finite topologies', in Y. Lakhnech, S. Yovine (ed.), Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Springer, Heidelberg, Germany, pp. 52-67.
Year
2004
Fields of Research
- Analysis Of Algorithms And Complexity
- Computational Logic And Formal Languages