View of Improving Live Sequence Chart to Automata Transformation for Verification

Return to Article Details Improving Live Sequence Chart to Automata Transformation for Verification Download Download PDF