New ideas on symbolic manipulations of finite state machines.

Christian Berthet, Olivier Coudert, Jean Christophe Madre

Browse the full ICCD paper archive.