Login / Signup
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