Pages that link to "Item:Q5943101"
From MaRDI portal
The following pages link to On ACTL formulas having linear counterexamples (Q5943101):
Displaying 4 items.
- Producing explanations for rich logics (Q2024339) (← links)
- Linear templates of ACTL formulas with an application to SAT-based verification (Q2398494) (← links)
- CTL update of Kripke models through protections (Q2453698) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464474) (← links)