|
СТ |
A Requirements Patterns-Driven Approach to Specify Systems and Check Properties |
2003 |
Konrad S., Campbell L. A., Cheng B.H. C., Deng M. |
|
|
|
Lecture Notes in Computer Science |
29.05.2003 |
|
СТ |
Spatial Temporal Queries and Triggers for Managing Moving Objects |
2002 |
Deng M., Zhang F. |
|
|
|
Advances in Databases and Information Systems. Vo.2. Research Communications. 6th East-European Conference, ADBIS 2002 |
04.10.2002 |
|
СТ |
Databases for Tracking Mobile Units in Real Time |
1998 |
Wolfson O., Jiang L., Sistla A. P., Chamberlain S., Rishe N., Deng M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.01.1999 |
