Hardness of equivalence checking for composed finite-state systems.
| Autor: | Sawa, Zdeněk1 Zdenek.Sawa@vsb.cz, Jančar, Petr1 Petr.Jancar@vsb.cz |
|---|---|
| Zdroj: | Acta Informatica. May2009, Vol. 46 Issue 3, p169-191. 23p. 8 Diagrams, 1 Chart. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|