Equivalence Checker: allows to compare pairs of automatons as regards to many definitions of equivalence (Bisimulation, Branching bisimulation, Decorated traces)
model | Model (person) | America's Next Top Model | Ford Model T | New Model Army | model (person) | Model United Nations | IPTC Information Interchange Model | Chubby Checker | Lockheed Model 10 Electra | Checker Records | Standard Model | Model (profession) | Elite Model Management | RGB color model | Model Engineering College | Fetish model | business model | Beechcraft Model 18 | Scale model | Nice model | New Model Army (band) | Model Railroader | model (profession) | Lisette Model | Document Object Model | Component Object Model | Asia's Next Top Model | America's Most Smartest Model | Walter Model |