Model Checking Boolean Programs More Books Like This

Models and Analysis for Distributed Systems Models and Analysis for Distributed Systems
Models and Analysis for Distributed Systems
2013