Pages that link to "Item:Q4885623"
From MaRDI portal
The following pages link to Verification of temporal properties (Q4885623):
Displaying 4 items.
- Deductive verification of alternating systems (Q939163) (← links)
- A general technique for proving lock-freedom (Q1001810) (← links)
- A temporal negative normal form which preserves implicants and implicates (Q4443401) (← links)
- Automatically verifying temporal properties of pointer programs with cyclic proof (Q5919481) (← links)
