Login / Signup
Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space.
Michael Huth
Published in:
LICS (2004)
Keyphrases
</>
transition systems
search space
concurrent systems
artificial intelligence