PROBMELA: a modeling language for communicating probabilistic processes (2004)

Cached

Download Links

by Christel Baier , Frank Ciesinski , Marcus Größer
Citations:10 - 3 self