The following pages link to Conghua Zhou (Q352028):
Displaying 6 items.
- Abstraction for model checking multi-agent systems (Q352029) (← links)
- Symbolic algorithmic verification of intransitive generalized noninterference (Q439858) (← links)
- (Q3016942) (← links)
- Model checking workflow net based on Petri net (Q3446022) (← links)
- QBF-Based Symbolic Model Checking for Knowledge and Time (Q5425450) (← links)
- Theory and Applications of Models of Computation (Q5898914) (← links)