Checking Equivalence for Partial Implementations.

Christoph Scholl Bernd Becker

Published in: DAC (2001)

Keyphrases

artificial intelligence
efficient implementation
wide range
interactive dynamic influence diagrams
equivalence relation
web services
information technology