DMCA

Compositionality for probabilistic automata (2003)

by Nancy Lynch , Roberto Segala , Frits Vaandrager
Venue:In Proc. 14th International Conference on Concurrency Theory (CONCUR 2003), volume 2761 of LNCS
Citations:59 - 7 self