共 50 条
- [1] Another look at model membranes [J]. JOURNAL OF RESEARCH OF THE NATIONAL INSTITUTE OF STANDARDS AND TECHNOLOGY, 1997, 102 (05): : 617 - 617
- [3] Another look at LTL model checking [J]. FORMAL METHODS IN SYSTEM DESIGN, 1997, 10 (01) : 47 - 71
- [7] Yet another look at LTL model checking [J]. CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1999, 1703 : 321 - 325
- [9] ANOTHER LOOK AT CANADIAN FOLKLORE, ANOTHER LOOK AT THESE PAPERS [J]. JOURNAL OF CANADIAN STUDIES-REVUE D ETUDES CANADIENNES, 1994, 29 (01): : 135 - 138