| |
| 2008 | ||
|---|---|---|
| 2 | EE | Petr Jancar, Martin Kot, Zdenek Sawa: Normed BPA vs. Normed BPP Revisited. CONCUR 2008: 434-446 |
| 2005 | ||
| 1 | EE | Martin Kot, Zdenek Sawa: Bisimulation equivalence of a BPP and a finite-state system can be decided in polynomial time. Electr. Notes Theor. Comput. Sci. 138(3): 49-60 (2005) |
| 1 | Petr Jancar | [2] |
| 2 | Zdenek Sawa | [1] [2] |