Loading [MathJax]/extensions/tex2jax.js

Acta Informatica

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

Publikationen

  1. 2019

  2. Veröffentlicht

    The model checking fingerprints of CTL operators

    Krebs, A., Meier, A. & Mundhenk, M., 1 Sept. 2019, in: Acta informatica. 56, 6, S. 487-519 33 S.

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