共 50 条
- [1] J. UCS special issue on spatial and temporal reasoning [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2002, 8 (08): : 737 - 738
- [4] J. UCS special issue on tools for system design and verification [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2003, 9 (02): : 86 - 87