@InProceedings{l02-p16-37, AUTHOR = {Eric Goubault and Martin Raussen}, TITLE = {Dihomotopy as a Tool in State Space Analysis}, YEAR = 2002, BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)}, ADDRESS = {Cancun, Mexico}, PAGES = {16--37}, KEYWORDS = {}}