@InProceedings{   govind:hal-03644039,
  Author        = "Govind, R. and Herbreteau, Fr{\'e}d{\'e}ric and Srivathsan, B. and Walukiewicz, Igor",
  Address       = "Haifa, Israel",
  BookTitle     = "{37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022}",
  date-added    = "2022-04-29 18:00:27 +0200",
  date-modified = "2022-04-29 18:00:27 +0200",
  hal_id        = "hal-03644039",
  hal_version   = "v1",
  Month         = "August",
  PDF           = "https://hal.archives-ouvertes.fr/hal-03644039/file/m.pdf",
  Title         = "{Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods}",
  URL           = "https://hal.archives-ouvertes.fr/hal-03644039",
  Year          = "2022",
  bdsk-url-1    = "https://hal.archives-ouvertes.fr/hal-03644039",
  File          = "Abstractions for the local-time semantics of timed automata- a foundation for partial-order methods.pdf"
}

@InProceedings{ govind:hal-03644039, Author = "Govind, R. and Herbreteau, Fr{\'e}d{\'e}ric and Srivathsan, B. and Walukiewicz, Igor", Address = "Haifa, Israel", BookTitle = "{37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022}", date-added = "2022-04-29 18:00:27 +0200", date-modified = "2022-04-29 18:00:27 +0200", hal_id = "hal-03644039", hal_version = "v1", Month = "August", PDF = "https://hal.archives-ouvertes.fr/hal-03644039/file/m.pdf", Title = "{Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods}", URL = "https://hal.archives-ouvertes.fr/hal-03644039", Year = "2022", bdsk-url-1 = "https://hal.archives-ouvertes.fr/hal-03644039", File = "Abstractions for the local-time semantics of timed automata- a foundation for partial-order methods.pdf" }