Fig. 13
From: A symbolic model checking approach in formal verification of distributed systems
The generated graphical transition diagram of Example 2 in a original and b reduced model
Fig. 13 | Human-centric Computing and Information Sciences