Browsing by Author Mansour (Abdulaziz), Mohammad
Showing results 3 to 3 of 3
Verified over-approximation of the diameter of propositionally factored transition systems
Author(s) | Mansour (Abdulaziz), Mohammad; Gretton, Charles; Norrish, Michael |
---|---|
Type | Conference paper |
Date Published | 2015 |
Date Created | 24 August 2015 through 27 August 2015 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator