Model Reduction of Modules for State-Even Temporal Logics.

Mark Lawford, Jonathan S. Ostroff, Walter Murray Wonham

Browse the full FORTE paper archive.