( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reasoning about Infinite Computation Paths (Extended Abstract)

, , и . FOCS, стр. 185-194. IEEE Computer Society, (1983)

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.

Venkata Subbarayudu Sistla

Sharad Prasad

Kumkum Prasad

Athul Prasad

Prasad Samarakoon

 

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

Model Checking Failure-Prone Open Systems Using Probabilistic Automata., и . ATVA, том 9364 из Lecture Notes in Computer Science, стр. 148-165. Springer, (2015)Triggers on Database Histories., и . IEEE Data Eng. Bull., 15 (1-4): 48-51 (1992)Symmetry and Model Checking., и . Formal Methods Syst. Des., 9 (1/2): 105-131 (1996)SMC: a symmetry-based model checker for verification of safety and liveness properties., , и . ACM Trans. Softw. Eng. Methodol., 9 (2): 133-166 (2000)The Complexity of Propositional Linear Temporal Logics, и . J. ACM, 32 (3): 733-749 (июля 1985)Performance Evaluation of G-tree and Its Application in Fuzzy Databases., , , , , и . CIKM, стр. 235-242. ACM, (1996)Model Checking Concurrent Programs with Nondeterminism and Randomization., , и . FSTTCS, том 8 из LIPIcs, стр. 364-375. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)Power of Randomization in Automata on Infinite Strings., , и . CONCUR, том 5710 из Lecture Notes in Computer Science, стр. 229-243. Springer, (2009)Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata., , и . FoSSaCS, том 10203 из Lecture Notes in Computer Science, стр. 231-247. (2017)Quantitative Temporal Reasoning., , , и . CAV, том 531 из Lecture Notes in Computer Science, стр. 136-145. Springer, (1990)