Pages that link to "Item:Q5901665"
From MaRDI portal
The following pages link to LATIN 2004: Theoretical Informatics (Q5901665):
Displaying 6 items.
- A two-player asynchronous game on fully observable Petri nets (Q2032842) (← links)
- The computational complexity of scenario-based agent verification and design (Q2372186) (← links)
- On Distributed Program Specification and Synthesis in Architectures with Cycles (Q3613067) (← links)
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science (Q5191530) (← links)
- Game-based Synthesis of Distributed Controllers for Sampled Switched Systems (Q5240151) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465860) (← links)