DMCA

On the verification of probabilistic I/O automata with unspecified rates (2009)

Cached

Download Links

by Sergio Giro , Pedro R. D’argenio
Venue:In SAC ’09: Proceedings of the 2009 ACM symposium on Applied Computing
Citations:7 - 7 self