Pages that link to "Item:Q3719821"
From MaRDI portal
The following pages link to A synchronization logic: Axiomatics and formal semantics of generalized horn clauses (Q3719821):
Displayed 3 items.
The following pages link to A synchronization logic: Axiomatics and formal semantics of generalized horn clauses (Q3719821):
Displayed 3 items.