B. Wagle
EJOR
Paper
Preserving liveness: Comments on "safety and liveness from a methodological point of view"
Abstract
No abstract available.
Related
Conference paper
True 3-D displays for avionics and mission crewstations
Elizabeth A. Sholler, Frederick M. Meyer, et al.
SPIE AeroSense 1997
Ohad Shamir, Sivan Sabato, et al.
Theoretical Computer Science
Conference paper
Some experimental results on placement techniques
Maurice Hanan, Peter K. Wolff, et al.
DAC 1976