The following pages link to Óscar Martín (Q1990505):
Displaying 5 items.
- Synchronous products of rewrite systems (Q1990506) (← links)
- Egalitarian State-Transition Systems (Q2827838) (← links)
- Compositional Specification in Rewriting Logic (Q5108529) (← links)
- Model Checking TLR* Guarantee Formulas on Infinite Systems (Q5403070) (← links)
- Look-and-Say Biochemistry: Exponential RNA and Multistranded DNA (Q5479781) (← links)
