Practical application of probabilistic model checking to communication protocols
In Formal methods for industrial critical systems: A survey of applications
Jeremy Sproston
Copyright (c) 2022, LRE; all rights reserved.
Template by Bootstrapious. Ported to Hugo by DevCows.