Resultados de búsqueda - Contractor, Prerak

  • Mostrando 1 - 1 Resultados de 1
Limitar resultados
  1. 1
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:

Herramientas de búsqueda: