Bounded sequence testing from deterministic finite state machines

Florentin Ipate. Bounded sequence testing from deterministic finite state machines. Theoretical Computer Science, 411(16-18):1770-1784, 2010. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: