Pages that link to "Item:Q1295873"
From MaRDI portal
The following pages link to The sh-verification tool -- abstraction-based verification of co-operating systems (Q1295873):
Displayed 1 item.
The following pages link to The sh-verification tool -- abstraction-based verification of co-operating systems (Q1295873):
Displayed 1 item.