Static run-time mode extraction by state partitioning in synchronous process networks.

Michael Beyer, Sabine Glesner

Browse the full SCOPES paper archive.