Model Checking Stochastic Branching Processes
T. Chen‚ K. Dräger and S. Kiefer
Book Title
Proceedings 37th International Symposium on Mathematical Foundations of Computer Science (MFCS)
Publisher
Springer
Series
LNCS
Volume
7464
Year
2012
T. Chen‚ K. Dräger and S. Kiefer