-
Selection by year
-
Selection by authors
-
Complete lists
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)