Вы здесь

Moser L. E.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Grafical Interval Logic Toolset for Verifying Concurrent Systems 1993 Kutty G., Ramakrishna Y. S., Moser L. E., Dillon L. K., Melliar-Smith P. M. Lecture Notes in Computer Science 20.08.1993
СТ A Graphical Interval Logic for Specifying Concurrent Systems 1994 Dillon L. K., Kutty G., Moser L. E., Melliar-Smith P. M., Ramakrishna Y. S. ACM Trans. Software Engineering and Methodology 14.12.1994
СТ A Real-Time Interval Logic and Its Decision Procedure 1993 Ramakrishna Y. S., Dillon L. K., Moser L. E., Melliar-Smith P. M., Kutty G. Lecture Notes in Computer Science 20.01.1994
СТ An Automata-Theoretic Decision Procedure for Future Interval Logic 1992 Ramakrishna Y. S., Dillon L. K., Moser L. E., Melliar-Smith P. M., Kutty G. Lecture Notes in Computer Science 28.12.1992
СТ First-Order Future Interval Logic 1994 Kutty G., Moser L. E., Melliar-Smith P. M., Dillon L. K., Ramakrishna Y. S. Lecture Notes in Artificial Intelligence 11.08.1994
СТ Gateways for Accessing Fault Tolerance Domains 2000 Narasimhan P., Moser L. E., Melliar-Smith P. M. Lecture Notes in Computer Science 28.04.2000
СТ MAgNET: Mobile Agents for Networked Electronic Trading 1999 Dasgupta P., Narasimhan N., Moser L. E., Melliar-Smith P. M. IEEE Trans. on Knowledge and Data Engineering 15.12.1999
СТ Probabilistic Duration Automata for Analyzing Real-Time Systems 1996 Moser L. E., Melliar-Smith P. M. Lecture Notes in Computer Science 24.04.1996
СТ Totem: A Fault-Tolerant Multicast Group Communication System 1996 Moser L. E., Melliar-Smith P. M., Agarwal D. A., Budhia R. K., Lingley-Papadopoulos C. A. Communications of the ACM 06.05.1996
СТ Using Interceptors to Enchance CORBA 1999 Narasimhan P., Moser L. E., Melliar-Smith P. M. Computer 31.08.1999