Jumping Automata for Uniform Strategies
From MaRDI portal
Publication:2963921
DOI10.4230/LIPIcs.FSTTCS.2013.287zbMath1359.68176OpenAlexW2248109043MaRDI QIDQ2963921
Sophie Pinchinat, Bastien Maubert
Publication date: 21 February 2017
Full work available at URL: https://hal.inria.fr/hal-01098741
Related Items (2)
Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus ⋮ Uniform strategies, rational relations and jumping automata
This page was built for publication: Jumping Automata for Uniform Strategies