Pages that link to "Item:Q5394182"
From MaRDI portal
The following pages link to Automated Technology for Verification and Analysis (Q5394182):
Displaying 4 items.
- Reduction of fuzzy automata by means of fuzzy quasi-orders (Q726556) (← links)
- Incremental hierarchical construction of modular supervisors for discrete-event systems (Q3543066) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395127) (← links)
- Compositional non-blockingness verification of finite automata with prioritised events (Q6544792) (← links)