https://catalogue-scientifique.canada.ca/record=2120712~S6*frc
stanford univ ca, 1995
The temporal logics pCTL and pCTL* have been proposed as tools for the formal specification and verification of probabilistic systems; as they can express...
Publication gouvernementale