Degeneralization Algorithm for Generation of Büchi Automata Based on Contented Situation.
| Autor: | Shan, Laixiang1 slx11@mails.tsinghua.edu.cn, Qin, Jun2 qin_junjun@hotmail.com, Chen, Mingshi3 ala1.shawn@gmail.com, Qin, Zheng1 qingzh@mail.tsinghua.edu.cn |
|---|---|
| Zdroj: | Journal of Applied Mathematics. 2/10/2015, Vol. 2015, p1-10. 10p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|