Mario Román
Search
Search Icon
Icon to open search
Quotient transition system
Last updated Aug 7, 2023
Quotient of IO transition systems
Bisimulation