Details for the publication KieferSW21.

Stefan Kiefer, Pavel Semukhin, Cas Widdershoven: Linear-Time Model Checking Branching Processes. In 32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference, volume 203 of LIPIcs, pages 6:1-6:16, 2021. DOI BIB