Bernardo <br/><br/>
Probabilistic Trace and Testing Semantics: The Importance of Being Coherent 

 -  Now Foundations and Trends  2022 
<br/><br/><label>ISBN: </label>9781638280750 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computing and Processing; General Topics for Engineers