View of Richer Interface Automata with Optimistic and Pessimistic Compatibility

Return to Article Details Richer Interface Automata with Optimistic and Pessimistic Compatibility Download Download PDF