Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems.

Radu Mateescu Emilie Oudot

Published in: MEMOCODE (2008)

Keyphrases

information systems
distributed systems
computer systems
complex systems
data sets
databases
real world
artificial intelligence
e learning
management system
intelligent systems
building blocks
boolean functions
computing systems
systems require