par Sankur, Ocan ;Bouyer, Patricia P.;Markey, Nicolas N.
Référence Information and computation, 234, page (107-132)
Publication Publié, 2014-02
Article révisé par les pairs
Titre:
  • Shrinking timed automata
Auteur:Sankur, Ocan; Bouyer, Patricia P.; Markey, Nicolas N.
Informations sur la publication:Information and computation, 234, page (107-132)
Statut de publication:Publié, 2014-02
Sujet CREF:Informatique appliquée logiciel
Informatique générale
Informatique mathématique
Note générale:SCOPUS: ar.j
Langue:Anglais
Identificateurs:urn:issn:0890-5401
info:doi/10.1016/j.ic.2014.01.002
info:pii/S0890540114000030
info:scp/84894242260