共 50 条
- [32] Spanning the Spectrum from Safety to Liveness AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015, 2015, 9364 : 183 - 200
- [35] Safety and Liveness Properties based on Activity Chain for Composite Web Services and The Compliance Verifications IEEE 15TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2009, : 115 - 120
- [38] Duke Ellington's Newport Up! Liveness, artefacts and the seductive menace of jazz revisited NEW JAZZ CONCEPTIONS: HISTORY, THEORY, PRACTICE, 2017, : 111 - 129
- [39] Generalized Counterexamples to Liveness Properties 2013 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2013, : 169 - 172