|
СТ |
On model-checking for fragments of -calculus |
1993 |
Emerson E. A., Julta C. S., Sistla A. P. |
|
|
|
Lecture Notes in Computer Science |
20.08.1993 |
|
СТ |
Symmetry and Model Checking |
1993 |
Emerson E. A., Sistla A. P. |
|
|
|
Lecture Notes in Computer Science |
20.08.1993 |
|
СТ |
Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking |
1994 |
Naik V. G., Sistla A. P. |
|
|
|
Lecture Notes in Computer Science |
28.07.1994 |
|
СТ |
Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach |
1995 |
Emerson E. A., Sistla A. P. |
|
|
|
Lecture Notes in Computer Science |
27.07.1995 |
|
СТ |
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 |
|
СТ |
Minimization of Communication Cost Through Caching in Mobile Environments |
1998 |
Sistla A. P., Wolfson O., Huang Y. |
|
|
|
IEEE Trans. on Parallel and Distributed Systems |
02.09.1998 |
|
СТ |
Querying the Uncertain Position of Moving Objects |
1998 |
Sistla A. P., Wolfson O., Chamberlain S., Dao S. |
|
|
|
Lecture Notes in Computer Science |
24.06.1998 |
