|
|||||
|
|
Modifications of Expansion Trees for Weak Bisimulation in BPA |
|
| Authors: | Jitka St&#x í brn ,Ivana ern |
| Affiliation: | aDepartment of Computer Science Faculty of Informatics, Masaryk University Brno, Brno, Czech Republic |
| Abstract: | |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |