Showing 1 - 1 results of 1 for search 'Ilka Schnoor', query time: 0.02s Refine Results
  1. 1
    The Complexity of Generalized Satisfiability for Linear Temporal Logic

    The Complexity of Generalized Satisfiability for Linear Temporal Logic by Michael Bauland, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer

    Published 2009-01-01
    Get full text
    Article

Search Tools: