Apostol Natsev, Alexander Haubold, et al.
MMSP 2007
Paper
Preserving liveness: Comments on "safety and liveness from a methodological point of view"
Related
Conference paper
An Arabic Slot Grammar parser
Michael C. McCord, Violetta Cavalli-Sforza
ACL 2007
Conference paper
A privacy-protecting coupon system
Liqun Chen, Matthias Enzmann, et al.
FC 2005
Conference paper
Performance test case generation for microprocessors
Pradip Bose
VTS 1998