BDD-based boolean functional synthesis
Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi
نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء
Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi
نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء