Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2011
Hansen, H. and Timmer, M.
(2011)
Confluence versus Ample Sets in Probabilistic Branching Time.
In: Proceedings of the 3rd Young Researchers Workshop on Concurrency Theory, 10 Sep 2011, Aachen, Germany.
École normale supérieure de Cachan.
ISBN not assigned
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||