Symbolic Synthesis for Epistemic Specifications with Observational Semantics

Huang, Xiaowei and Meyden, Ron (2014) Symbolic Synthesis for Epistemic Specifications with Observational Semantics. In: In the 20th International Conference on Tools and Algorithms for the Construction anor Analysis of Systems (TACAS2014), the European Joint Conferences on Theory and Practice of Software (ETAPS2014), 2014.

[img]
Preview
Text
c-14.pdf

Download (154kB)
Item Type: Conference or Workshop Item (Paper)
Subjects: G400 Computer Science
Divisions: Faculty of Computing, Engineering and the Built Environment
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology > Cyber Security
UoA Collections > UoA11: Computer Science and Informatics
Depositing User: Oana-Andreea Dumitrascu
Date Deposited: 01 Jun 2017 09:58
Last Modified: 01 Jun 2017 09:58
URI: http://www.open-access.bcu.ac.uk/id/eprint/4500

Actions (login required)

View Item View Item

Research

In this section...