print · source · login   

Bibliography

CDDB
Fiser, Petr. Collection of Digital Design Benchmarks, https://ddd.fit.cvut.cz/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.