Risultati della ricerca - Contractor, Prerak

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

    TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics di Akshay, S., Contractor, Prerak, Gastin, Paul, Govind, R., Srivathsan, B.

    Pubblicazione 2025
    Testo
    Preprint

    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: