@InProceedings{l02-p14, AUTHOR = {Mihalis Yannakakis}, TITLE = {Testing and Checking of Finite State Systems}, YEAR = 2002, BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)}, ADDRESS = {Cancun, Mexico}, PAGES = {14}, KEYWORDS = {}}