共 50 条
- [1] Model abstractions for real-time network environments [J]. ENABLING TECHNOLOGY FOR SIMULATION SCIENCE IV, 2000, 4026 : 212 - 220
- [2] Model checking of real-time reachability properties using abstractions [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1998, 1384 : 313 - 329
- [3] Automatic abstractions of real-time specifications [J]. FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2000, : 147 - 158
- [4] Domain-size heterogeneity in the Ising model: Geometrical and thermal transitions [J]. PHYSICAL REVIEW E, 2015, 91 (04):
- [5] Formula based abstractions of transition systems for real-time model checking [J]. FM'99-FORMAL METHODS, 1999, 1708 : 289 - 306
- [6] Logic Based Abstractions of Real-Time Systems [J]. Formal Methods in System Design, 2000, 17 : 201 - 220
- [7] Logic based abstractions of real-time systems [J]. FORMAL METHODS IN SYSTEM DESIGN, 2000, 17 (03) : 201 - 220
- [9] Domain-Size Aware Markov Logic Networks [J]. 22ND INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND STATISTICS, VOL 89, 2019, 89
- [10] SOME DOMAIN-SIZE EFFECTS IN POLYMER TRANSITIONS [J]. JOURNAL OF POLYMER SCIENCE PART C-POLYMER SYMPOSIUM, 1977, (63): : 271 - 280