The following pages link to (Q4790409):
Displaying 10 items.
- A decidability result for the model checking of infinite-state systems (Q438572) (← links)
- Complete SAT-Based Model Checking for Context-Free Processes (Q3510785) (← links)
- COMPLETE SAT-BASED MODEL CHECKING FOR CONTEXT-FREE PROCESSES (Q3552516) (← links)
- Tableau methods for PA-processes (Q4610333) (← links)
- (Q4665738) (← links)
- Decidability of Weak Bisimilarity for a Subset of BPA (Q5415622) (← links)
- Well-structured transition systems everywhere! (Q5941101) (← links)
- The regular viewpoint on PA-processes (Q5958465) (← links)
- Infinite results (Q6104374) (← links)
- On the complexity of the linear-time μ-calculus for Petri Nets (Q6487371) (← links)