Integrated modeling tool for indexing and analyzing state machine trace.

Simon Delisle, Naser Ezzati-Jivan, Michel R. Dagenais

Browse the full ISNCC paper archive.