Fan Jing Meng, Ying Huang, et al.
ICEBE 2007
Paper
Two results on process logic
Abstract
No abstract available.
Related
Sonia Cafieri, Jon Lee, et al.
Journal of Global Optimization
David S. Kung
DAC 1998
Ohad Shamir, Sivan Sabato, et al.
Theoretical Computer Science