Journal of Automata, Languages and Combinatorics formerly:
|
@article{jalc070203, author = {Doron Peled and Moshe Y. Vardi and Mihalis Yannakakis}, title = {Black Box Checking}, journal = jalc, year = 2002, volume = 7, number = 2, pages = {225--246} }