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

ANU Authors

Fields of Research

  • Analysis Of Algorithms And Complexity
  • Computational Logic And Formal Languages

Updated:  13 April 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers