"A Unifying Theoretical Background for Some BDD-based Data Structures"

Christoph Meinel, Anna Slobodová (1994)

Details and statistics

DOI:

access: unavailable

type: Informal or Other Publication

metadata version: 2017-06-08

a service of  Schloss Dagstuhl - Leibniz Center for Informatics