The following pages link to Bingshan Wang (Q1273077):
Displayed 6 items.
- Verifying automata specification of distributed probabilistic real-time systems (Q1273079) (← links)
- Universal abstract consistency class and universal refutation (Q1288438) (← links)
- PTL sequent calculus system (Q1895457) (← links)
- Symbolic transition graph and its early bisimulation checking algorithms for the \(\pi\)-calculus (Q1962485) (← links)
- (Q3678668) (← links)
- (Q4952319) (← links)