Вы здесь

Sistla A. P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ 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
СТ 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
СТ 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

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Computer Aided Verification: Proc./ 12th International Conference, CAV 2000. Chicago, IL, USA, July 2000 2000 Lecture Notes in Computer Science
  1. Emerson E. A.
  2. Sistla A. P.
19.08.2000