Pages that link to "Item:Q6198141"

The following pages link to Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications (Q6198141):

Displaying 1 item.

• A survey on compositional algorithms for verification and synthesis in supervisory control (Q6080680) (← links)