共 50 条
- [42] An Automated Translator for Model Checking Time Constrained Workflow Systems [J]. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2010, 6371 : 99 - 114
- [50] DATA FLOW-ANALYSIS AS MODEL CHECKING [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 526 : 346 - 364