default search action
"Construction and Analysis of Transition Systems with MEC"
André Arnold, Didier Bégay, Paul Crubillé (1994)
- André Arnold, Didier Bégay, Paul Crubillé:
Construction and Analysis of Transition Systems with MEC. AMAST Series in Computing 3, World Scientific 1994, ISBN 978-981-02-1922-2, pp. 1-200
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.