Details for the publication GeblerHT12.

Daniel Gebler, Vahid Hashemi, Andrea Turrini: Computing Behavioral Relations for Probabilistic Concurrent Systems. In Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems - International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures, volume 8453 of Lecture Notes in Computer Science, pages 117-155, 2012. DOI BIB