TY -
BOOK
AU - Brand, Daniel
TI -
Algorithms for incremental synthesis
PB - IBM
PY - 1996
BT - Research report ; RC / International Business Machines Corporation, Thomas J. Watson Research Center ; 20352
CY - Almaden [u.a.]
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -