Pages that link to "Item:Q5942575"
From MaRDI portal
The following pages link to Software reliability methods. Foreword by Edmund M. Clarke (Q5942575):
Displaying 4 items.
- Extracting unsatisfiable cores for LTL via temporal resolution (Q266863) (← links)
- Bounded semantics (Q483292) (← links)
- Axiomatizing Lüttgen \& Vogler's ready simulation for finite processes in \(\mathrm{CLL}_{R}\) (Q893593) (← links)
- Mafia: A theoretical study of players and coalitions in a partial information environment (Q930667) (← links)
