Fast Verified SCCs for Probabilistic Model Checking

Arnd Hartmanns, Bram Kohlen, Peter Lammich

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
50 Downloads (Pure)

Search results