Pages that link to "Item:Q5902425"
From MaRDI portal
The following pages link to Perspectives of System Informatics (Q5902425):
Displaying 4 items.
- Model checking in the modal \(\mu \)-calculus and generic solutions (Q633088) (← links)
- Self-correcting polynomial programs (Q1916988) (← links)
- Algorithmic algebraic model checking. III: Approximate methods (Q2852017) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5901907) (← links)