Sonia Cafieri, Jon Lee, et al.
Journal of Global Optimization
Paper
Preserving liveness: Comments on "safety and liveness from a methodological point of view"
Abstract
No abstract available.
Related
Thomas R. Puzak, A. Hartstein, et al.
CF 2007
Conference paper
FPGA-based coprocessor for text string extraction
N.K. Ratha, A.K. Jain, et al.
Workshop CAMP 2000
Paper
The Qx-coder
M.J. Slattery, Joan L. Mitchell
IBM J. Res. Dev