Loading [MathJax]/extensions/tex2jax.js

Electronic Notes in Theoretical Computer Science (ENTCS)

1 - 1 von 1Seitengröße: 20
Reihenfolge:

Publikationen

  1. 2009

  2. Veröffentlicht

    The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments

    Bauland, M., Mundhenk, M., Schneider, T., Schnoor, H., Schnoor, I. & Vollmer, H., 2009, in: Electronic Notes in Theoretical Computer Science (ENTCS). 231, S. 277-292 16 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review