skip to main content

A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata

Lugiez, D. ; Niebert, P. ; Zennou, S.

Lecture notes in computer science, 2004, p.296-311 [Revista revisada por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponible

Citas Citado por

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora