Mario Román

Search

Simulation simplifies bisimulation

Last updated Apr 7, 2023

simulation-simplifies-bisimulation

Tags: Bisimulation, Automata

Made by Mario Román using Quartz and Obsidian, CC BY-SA 2023 (How to cite)

Home
ArXiv
Github