Pages that link to "Item:Q5941101"
From MaRDI portal
The following pages link to Well-structured transition systems everywhere! (Q5941101):
Displaying 5 items.
- Aeolus: a component model for the cloud (Q476172) (← links)
- Multiset rewriting for the verification of depth-bounded processes with name binding (Q714507) (← links)
- Using formal verification to evaluate the execution time of Spark applications (Q782497) (← links)
- Soundness-preserving reduction rules for reset workflow nets (Q1007883) (← links)
- Decidability properties for fragments of CHR (Q3585171) (← links)
