par Bouyer, Patricia P.;Markey, Nicolas N.;Reynier, Pierre-Alain
Référence Lecture notes in computer science, 4962 LNCS, page (157-171)
Publication Publié, 2008
Article révisé par les pairs
Titre:
  • Robust analysis of timed automata via channel machines
Auteur:Bouyer, Patricia P.; Markey, Nicolas N.; Reynier, Pierre-Alain
Informations sur la publication:Lecture notes in computer science, 4962 LNCS, page (157-171)
Statut de publication:Publié, 2008
Sujet CREF:Informatique générale
Informatique mathématique
Note générale:SCOPUS: cp.k
Langue:Anglais
Identificateurs:urn:issn:0302-9743
info:doi/10.1007/978-3-540-78499-9_12
info:scp/47249162076