Risultati della ricerca - Humml, Merlin

  • Mostra 1 - 1 risultati su 1
Raffina i risultati
  1. 1
    Copertina

    Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames Autoría: Hausmann, Daniel, Humml, Merlin, Prucker, Simon, Schröder, Lutz

    Pubblicazione 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: