The following pages link to Diego Cazorla (Q1014566):
Displayed 7 items.
- Improving performance in flexible manufacturing systems (Q1014568) (← links)
- Algebraic theory of probabilistic and nondeterministic processes. (Q1400156) (← links)
- (Q1607107) (redirect page) (← links)
- A process algebra for probabilistic and nondeterministic processes (Q1607111) (← links)
- BAL Tool in Flexible Manufacturing Systems (Q3067478) (← links)
- Applying Formal Methods: Testing, Performance, and M/E-Commerce (Q5394040) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464476) (← links)