BDD-based boolean functional synthesis

Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi

פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים