Sciweavers

JCSS
2000

Deciding Bisimilarity and Similarity for Probabilistic Processes

13 years 11 months ago
Deciding Bisimilarity and Similarity for Probabilistic Processes
Christel Baier, Bettina Engelen, Mila E. Majster-C
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2000
Where JCSS
Authors Christel Baier, Bettina Engelen, Mila E. Majster-Cederbaum
Comments (0)