@inproceedings{Abdulaziz_GN_15_2,
    month            = aug,
    keywords         = {bounded model checking, planning, interactive theorem proving},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8655.pdf},
    booktitle        = {International Conference on Interactive Theorem Proving},
    author           = {Abdulaziz, Mohammad and Gretton, Charles and Norrish, Michael},
    year             = {2015},
    pages            = {1--16},
    title            = {Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems},
    address          = {Nanjing, China}
  }