Pages that link to "Item:Q816696"

The following pages link to Control of discrete-event systems with partial observations using coalgebra and coinduction (Q816696):

Displaying 1 item.

• Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm (Q534301) (← links)