GitHub repository: lajtmaN/MasterApplication
Primary language: Java
Description: Visualizing Behavior of Distributed Network Protocols using UPPAAL Simulations