The following pages link to Lai-Xiang Shan (Q2375683):
Displaying 5 items.
- (Q327742) (redirect page) (← links)
- Degeneralization algorithm for generation of Büchi automata based on contented situation (Q327746) (← links)
- Efficient approach of translating LTL formulae into Büchi automata (Q1633083) (← links)
- Positive macroscopic approximation for fast attribute reduction (Q2375684) (← links)
- (Q5499149) (← links)
