S | |
---|---|
[SJ01] | Zdeněk Sawa and
Petr Jančar.
P-hardness of Equivalence Testing on Finite State
Processes.
In SOFSEM'01,
Lecture Notes in Computer Science 2234, pages 326-335. Springer-Verlag, November 2001.
|
Search
Displayed 1 resultList of authors
- 1
- 1