Model Checking Stochastic Branching Processes.

Sun, 01 Jan 2012 00:00:00 +0100

Taolue Chen, Klaus Dräger, Stefan Kiefer :
Model Checking Stochastic Branching Processes. CoRR abs/1206.1317 (2012)