Verified over-approximation of the diameter of propositionally factored transition systems

Citation

Abdulaziz, M, Gretton, C & Norrish, M 2015, 'Verified over-approximation of the diameter of propositionally factored transition systems', 6th International Conference on Interactive Theorem Proving, ITP 2015, ed. Zhang X.Urban C., Springer International Publishing Switzerland, TBC, pp. 1-16.

Year

2015

ANU Authors

Field of Research

  • Coding And Information Theory

Updated:  19 April 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers