Professional Documents
Culture Documents
Modeling and Verification of Concurrent Systems: The Verification Phase
Modeling and Verification of Concurrent Systems: The Verification Phase
Modeling and Verification of Concurrent Systems: The Verification Phase
Claude JARD
University of Nantes
Language of an NFA
Language of an NFA
Example of product
Exercise 4