Automata Wiki

Bibliography

CDDB

Fiser, Petr. Collection of Digital Design Benchmarks, https://ddd.fit.cvut.cz/www/prj/Benchmarks/, last accessed on August 14, 2018.

BACBL

Brglez, Franc. ACM/SIGMOD Benchmark Dataset, http://people.engr.ncsu.edu/brglez/CBL/benchmarks/Benchmarks-upto-1996.html, last accessed on August 14, 2018.

HT15

Robert M. Hierons and Uraz Cengiz Türker. Incomplete distinguishing sequences for finite state machines. The Computer Journal 58.11: 3089-3113, 2015.