DMCA

Compositional Methods for Probabilistic Systems (2001)

by Luca de Alfaro , Thomas A. Henzinger , Ranjit Jhala
Citations:50 - 0 self