Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

40

Voted

JCSS
2000

favoriteEmaildiscussreport

74views more JCSS 2000»

Deciding Bisimilarity and Similarity for Probabilistic Processes

14 years 10 months ago

Deciding Bisimilarity and Similarity for Probabilistic Processes

Download www.inf.tu-dresden.de

Christel Baier, Bettina Engelen, Mila E. Majster-C

Real-time Traffic

JCSS 2000 |

claim paper

Related Content

» An Intrinsic Characterization of Approximate Probabilistic Bisimilarity

» Simulation and Bisimulation for Probabilistic Timed Automata

» Generalized crowding for genetic algorithms

» Satisfiability Allows No Nontrivial Sparsification Unless The PolynomialTime Hierarchy Col...

Post Info
More Details (n/a)

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)