DMCA

Uniform logical characterizations of testing equivalences for nondeterministic, probabilistic and Markovian processes (2009)

Cached

Download Links

by Marco Bernardo
Venue:In Proc. of the 7th Int. Workshop on Quantitative Aspects of Programming Languages (QAPL 2009), volume 253(3) of ENTCS
Citations:3 - 3 self