共 50 条
- [26] MODEL CHECKING AND ABSTRACTION ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (05): : 1512 - 1542
- [28] Review of bisoNet abstraction techniques Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, 7250 : 166 - 178