共 34 条
- [1] ABRAHAM E, 2006, LECT NOTES COMPUTER
- [2] ALUR R, 2003, P ACM C LANG COMP TO, P171
- [3] Ball Thomas., 2001, Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, V2031, P268, DOI [10.1007/3-540-45319-9_19, DOI 10.1007/3-540-45319-9_19]
- [4] BARRETT C, 2005, 17 INT C COMP AID VE, P20
- [5] BAUER A, 2005, P SAE 2005 WORLD C S
- [6] Bauer J., 2006, P 6 INT C APPL CONC
- [7] BECKER B, 2006, P 28 INT C SOFTW ENG
- [8] BEHRMANN G, 2001, 40 IEEE C DEC CONTR
- [9] Bender K, 2002, LECT NOTES CONTR INF, V279, P37
- [10] Berkenkötter K, 2004, LECT NOTES COMPUT SC, V3147, P145