Implementations for checking bisimulation of LTS.
| Autor: | Weng, Jingying, Li, Guoqiang |
|---|---|
| Zdroj: | 2014 IEEE International Conference on Progress in Informatics & Computing; 2014, p437-441, 5p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Weng, Jingying, Li, Guoqiang |
|---|---|
| Zdroj: | 2014 IEEE International Conference on Progress in Informatics & Computing; 2014, p437-441, 5p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|