Bisimulation and Simulation: Algorithms and Applicationshttps://www.uniud.it/it/ateneo-uniud/ateneo-uniud-organizzazione/dipartimenti/dmif/assets/documenti/bisimulation-and-simulation-algorithms-and-applications/viewhttps://www.uniud.it/@@site-logo/uniud.svg
Bisimulation and Simulation: Algorithms and Applications