Pages that link to "Item:Q2065174"
From MaRDI portal
The following pages link to Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers (Q2065174):
Displayed 1 item.
The following pages link to Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers (Q2065174):
Displayed 1 item.