Pages that link to "Item:Q5312997"
From MaRDI portal
The following pages link to Algebraic Methodology and Software Technology (Q5312997):
Displaying 4 items.
- An abstract interpretation toolkit for \(\mu\)CRL (Q883139) (← links)
- Static Analysis Techniques for Parameterised Boolean Equation Systems (Q3617762) (← links)
- Refinement of Kripke Models for Dynamics (Q5505597) (← links)
- Analysing AWN-Specifications Using mCRL2 (Extended Abstract) (Q6162221) (← links)