Accumulator-based pseudo-exhaustive two-pattern generation

Autor:	Voyiatzis, Ioannis
Zdroj:	In Journal of Systems Architecture 2007 53(11):846-860
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect