Pages that link to "Item:Q5168410"

The following pages link to COMPOSITIONAL VERIFICATION OF THE GENERALIZED NONBLOCKING PROPERTY USING ABSTRACTION AND CANONICAL AUTOMATA (Q5168410):

Displayed 2 items.

• On the computation of counterexamples in compositional nonblocking verification (Q2197583) ‎ (← links)
• A survey on compositional algorithms for verification and synthesis in supervisory control (Q6080680) ‎ (← links)