Request a document copy: Verified synthesis of knowledge-based programs in finite synchronous environments
Updated: 16 April 2019/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator
Updated: 16 April 2019/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator