DMCA

Synthesis of Asynchronous Systems (2006)

by Sven Schewe , Bernd Finkbeiner
Venue:In 16th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR ’06
Citations:18 - 8 self