共 50 条
- [1] The infinite-state Potts model and solid partitions of an integer INTERNATIONAL JOURNAL OF MODERN PHYSICS B, 1997, 11 (1-2): : 121 - 126
- [2] The Infinite-State Potts Model and Solid Partitions of an Integer Mechanics: Historical Perspectives and Current Status International Journal of Modern Physics B, 11 (1-2):
- [4] Fast infinite-state model checking in integer-based systems COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2003, 2803 : 546 - 573
- [5] INFAMY: An Infinite-State Markov Model Checker COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2009, 5643 : 641 - 647
- [6] Model checking infinite-state Markov chains TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2005, 3440 : 237 - 252
- [7] Selfless Interpolation for Infinite-State Model Checking VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2018), 2018, 10747 : 495 - 515
- [8] Infinite-State Energy Games PROCEEDINGS OF THE JOINT MEETING OF THE TWENTY-THIRD EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL) AND THE TWENTY-NINTH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2014,
- [9] A Decidability Result for the Model Checking of Infinite-State Systems Journal of Automated Reasoning, 2012, 48 : 1 - 42
- [10] Decidability of model checking for infinite-state concurrent systems Acta Informatica, 1997, 34 : 85 - 107