A study on static analysis in network of synchronizing FSMs.

Jessica Chen

Browse the full APSEC paper archive.