From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An automata-theoretic decision procedure for propositional temporal logic with since and until.

Y. Ramakrishna, L. Moser, L. Dillon, P. Melliar-Smith, и G. Kutty. Fundam. Informaticae, 17 (3): 271-282 (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

In-s Y n

Edukulla Ramakrishna

Ramakrishna Mukkamala

Ramakrishna Upadrasta

Tsing-i s y Yu

Другие публикации лиц с тем же именем

Partial-Order Reduction in the Weak Modal Mu-Calculus.Y. Ramakrishna, и S. Smolka. CONCUR, том 1243 из Lecture Notes in Computer Science, стр. 5-24. Springer, (1997)An Automata-Theoretic Decision Procedure for Future Interval Logic.Y. Ramakrishna, L. Dillon, L. Moser, P. Melliar-Smith, и G. Kutty. FSTTCS, том 652 из Lecture Notes in Computer Science, стр. 51-67. Springer, (1992)Interval Logics and Their Decision Procedures, Part I: An Interval Logic.Y. Ramakrishna, P. Melliar-Smith, L. Moser, L. Dillon, и G. Kutty. Theor. Comput. Sci., 166 (1&2): 1-47 (1996)Completeness and Soundness of Axiomatizations for Temporal Logics. Without Next.L. Moser, P. Melliar-Smith, G. Kutty, и Y. Ramakrishna. Fundam. Informaticae, 21 (4): 257-305 (1994)A System for Automated Deduction in Graphical Interval Logic.P. Melliar-Smith, L. Moser, Y. Ramakrishna, G. Kutty, и L. Dillon. ICTL, том 827 из Lecture Notes in Computer Science, стр. 540-542. Springer, (1994)Recursive Mean-Value Calculus.P. Pandya, и Y. Ramakrishna. FSTTCS, том 1530 из Lecture Notes in Computer Science, стр. 257-268. Springer, (1998)Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools.Y. Dong, X. Du, Y. Ramakrishna, C. Ramakrishnan, I. Ramakrishnan, S. Smolka, O. Sokolsky, E. Stark, и D. Warren. TACAS, том 1579 из Lecture Notes in Computer Science, стр. 74-88. Springer, (1999)First-Order Future Interval Logic.G. Kutty, L. Moser, P. Melliar-Smith, L. Dillon, и Y. Ramakrishna. ICTL, том 827 из Lecture Notes in Computer Science, стр. 195-209. Springer, (1994)The Real-Time Graphical Interval Logic Toolset.L. Moser, P. Melliar-Smith, Y. Ramakrishna, G. Kutty, и L. Dillon. CAV, том 1102 из Lecture Notes in Computer Science, стр. 446-449. Springer, (1996)Interval Logics and Their Decision Procedures. Part II: A Real-Time Interval Logic.Y. Ramakrishna, P. Melliar-Smith, L. Moser, L. Dillon, и G. Kutty. Theor. Comput. Sci., 170 (1-2): 1-46 (1996)

BibSonomy

Disambiguation