共 50 条
- [21] An automata-theoretic approach to fair realizability and synthesis (Preliminary report) COMPUTER AIDED VERIFICATION, 1995, 939 : 267 - 278
- [25] NECESSARY AND SUFFICIENT CONDITIONS FOR REALIZABILITY OF BIQUADRATIC FUNCTIONS IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS, 1974, AS21 (02): : 197 - 198
- [26] NECESSARY AND SUFFICIENT CONDITIONS FOR REALIZABILITY OF POINT PROCESSES ANNALS OF APPLIED PROBABILITY, 2011, 21 (04): : 1253 - 1281
- [27] NECESSARY AND SUFFICIENT CONDITIONS FOR REALIZABILITY OF BIQUADRATIC FUNCTIONS IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS, 1975, CA22 (02): : 154 - 155
- [28] ELECTROMAGNETIC PARAMETERS OF MATTER AND CONDITIONS FOR PHYSICAL REALIZABILITY NUOVO CIMENTO, 1961, 20 (04): : 610 - +
- [29] Analysis of realizability conditions for web service choreographies FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2006, 2006, 4229 : 61 - 76