Showing 1 - 3 results of 3 for search 'Milka Hutagalung', query time: 0.30s Refine Results
  1. 1
    Buffered Simulation Games for Büchi Automata
    by Milka Hutagalung, Martin Lange, Etienne Lozes
    Published 2014-05-01
    Get full text
    Article
  2. 2
    Two-Buffer Simulation Games
    Get full text
    Article
  3. 3
    Multi-Buffer Simulations for Trace Language Inclusion
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search