Pages that link to "Item:Q5899071"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5899071):
Displaying 5 items.
- An interface theory for service-oriented design (Q407507) (← links)
- Heterogeneous and asynchronous networks of timed systems (Q505453) (← links)
- A logical characterization of timed regular languages (Q728264) (← links)
- On termination and invariance for faulty channel machines (Q1941874) (← links)
- Zeno, Hercules, and the Hydra (Q5277917) (← links)
