Skip to content

Open Maps, Alternating Simulations and Control Synthesis.

Paulo Tabuada

VenueBCONCUR
Year2004
ProceedingsCONCUR

Browse the full CONCUR paper archive.