Sign in

A Unifying Theoretical Background for Some Bdd-based Data Structures.

Christoph MeinelAnna Slobodová
Published in: Formal Methods Syst. Des. (1997)
Keyphrases