par Brenguier, Romain ;Göller, Stefan;Sankur, Ocan
Référence Proceedings of the 23rd International Conference on Concurrency Theory (CONCUR'12), Springer, Vol. 7454, page (147-161)
Publication Publié, 2012-09
Publication dans des actes
Titre:
  • A Comparison of Succinctly Represented Finite-State Systems
Auteur:Brenguier, Romain; Göller, Stefan; Sankur, Ocan
Informations sur la publication:Proceedings of the 23rd International Conference on Concurrency Theory (CONCUR'12), Springer, Vol. 7454, page (147-161)
Statut de publication:Publié, 2012-09
series:Lecture Notes in Computer Science
Sujet CREF:Informatique générale
Langue:Anglais
Identificateurs:info:doi/10.1007/978-3-642-32940-1_12
http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BGS-concur12.pdf

Documents en relation

DI-fusion