C99, spexare, Secoit.
My public PGP key: Key DC9C4353, fingerprint 21D9 46EE 254F 8146 FC6B 4754 3EEF E674 DC9C 4353
DC9C4353
21D9 46EE 254F 8146 FC6B 4754 3EEF E674 DC9C 4353
I presented my thesis "Complementation of Büchi automata: A survey and implementation" February 2004.
Validate html $Id: index.xml,v 1.8 2005/12/01 08:21:02 lindahl Exp $