View of Verification of State/Event Systems by Quotienting

Return to Article Details Verification of State/Event Systems by Quotienting Download Download PDF