DORON PELED Bell Laboratories 600 Mountain Ave. We propose and formalize this problem of and suggest several algorithms.
CITATION STYLE
Peled, D., Vardi, M. Y., & Yannakakis, M. (1999). Black Box Checking (pp. 225–240). https://doi.org/10.1007/978-0-387-35578-8_13
Mendeley helps you to discover research relevant for your work.