共 50 条
- [41] NEW TECHNIQUE FOR SYMBOLIC ACTIVE NETWORK ANALYSIS BY COMPUTER [J]. IEEE TRANSACTIONS ON CIRCUIT THEORY, 1973, CT20 (04): : 426 - 429
- [43] Symbolic approach for dynamical analysis of biological network modules [J]. WMSCI 2007: 11TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL IV, PROCEEDINGS, 2007, : 25 - 29
- [45] SNAP 8 REACTOR TEST PROGRAM [J]. IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 1966, NS13 (01) : 264 - &
- [49] Use of symbolic program execution in program testing [J]. TECHNICS TECHNOLOGIES EDUCATION MANAGEMENT-TTEM, 2011, 6 (03): : 836 - 840
- [50] SymPas: Symbolic Program Slicing [J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2021, 36 (02) : 397 - 418