Formal Understanding of Tradeoffs among Liveness and Safety Requirements.

zgr Kafali, Nirav Ajmeri, Munindar P. Singh

Browse the full RE paper archive.