DMCA

Nondeterministic controllers of nondeterministic processes (2007)

by Andre ́ Arnold , Igor Walukiewicz
Venue:Logic and Automata, volume 2 of Texts in Logic and Games
Citations:9 - 1 self