共 50 条
- [1] The dangerous "All" in specifications TENTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN, 2000, : 191 - 193
- [2] SPECIFICATIONS - ARE THEY ALL MEANINGFUL TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, 1975, 20 (APR21): : 617 - 618
- [3] Multi-robot path planning for syntactically co-safe LTL specifications 2016 13TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS (WODES), 2016, : 452 - 458