Linear-Time Model Checking Branching Processes.

Stefan Kiefer, Pavel Semukhin, Cas Widdershoven

Browse the full CONCUR paper archive.