Login / Signup
Rongcun Cui
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Delay Insensitive
Dynamic Epistemic Logic
Asynchronous Circuits
Belief Change
Top Venues
ICTAI
</>
Publications
</>
Zhizheng Zhang
,
Kaikai Zhao
,
Rongcun Cui
ESmodels: An Inference Engine of Epistemic Specifications.
ICTAI
(2013)