Вы здесь

Dillon L. K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ A Visual Execution Model for Ada Tasking 1993 Dillon L. K. ACM Trans. Software Engineering and Methodology 29.12.1993
СТ 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
СТ 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
СТ 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