BBG-concur09

Ch. Baier, N. Bertrand, M. Grösser. The Effect of Tossing Coins in Omega-Automata. Proceedings of the 20th International Conference on Concurrency Theory (CONCUR'09), pp. 15-29, 2009.

Contact

Nathalie Bertrand http://www.irisa.fr/prive/nbertran/

BibTex Reference

@Misc{BBG-concur09,
   Author = {Baier, Ch. and Bertrand, N. and Grösser, M.},
   Title = {The Effect of Tossing Coins in Omega-Automata},
   BookTitle = {Proceedings of the 20th International Conference on Concurrency Theory (CONCUR'09)},
   Volume = {5710},
   Pages = {15--29},
   Series = {LNCS},
   Publisher = {Springer},
   Year = {2009}
}

EndNote Reference [help]

Get EndNote Reference (.ref)