An automata-theoretic approach to linear temporal logic
Proceedings of the VIII Banff Higher order workshop conference on Logics for concurrency : structure versus automata: structure versus automata
Control Theory, Modal Logic and Games
Hybrid Systems IV
Update Networks and Their Routing Strategies
WG '00 Proceedings of the 26th International Workshop on Graph-Theoretic Concepts in Computer Science
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
On Game-Theoretic Models of Networks
ISAAC '01 Proceedings of the 12th International Symposium on Algorithms and Computation
Finite state strategies in one player McNaughton games
DMTCS'03 Proceedings of the 4th international conference on Discrete mathematics and theoretical computer science
Extracting winning strategies in update games
CiE'11 Proceedings of the 7th conference on Models of computation in context: computability in Europe
Complexity bounds for regular games
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Hi-index | 0.00 |