Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics

Huang, Xiaowei and Meyden, Ron (2013) Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics. In: In the Fourteenth conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013.

Preview

Text c-19.pdf Download (182kB)

Item Type:	Conference or Workshop Item (Paper)
Date:	2013
Subjects:	CAH11 - computing > CAH11-01 - computing > CAH11-01-01 - 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 REF UoA Output Collections > REF2021 UoA11: Computer Science and Informatics
Depositing User:	Oana-Andreea Dumitrascu
Date Deposited:	05 Jun 2017 11:33
Last Modified:	10 Sep 2021 14:25
URI:	http://bcu-test.eprints-hosting.org/id/eprint/4505

Actions (login required)

View Item