Pages that link to "Item:Q5705879"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705879):
Displayed 7 items.
- On termination and invariance for faulty channel machines (Q1941874) (← links)
- The compound interest in relaxing punctuality (Q2024340) (← links)
- Timed Petri nets and timed automata: On the discriminating power of Zeno sequences (Q2475807) (← links)
- Some Recent Results in Metric Temporal Logic (Q3543284) (← links)
- Model-checking Timed Temporal Logics (Q4982129) (← links)
- The ω-Regular Post Embedding Problem (Q5458353) (← links)
- Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems (Q5458840) (← links)