( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial.

, , , , , , и . Formal Methods Syst. Des., 16 (3): 227-270 (2000)

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.

Zohar Efroni

Carlo Manna

Enzo Manna

Zohar Jacob

Stefano Manna

 

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

The Evolution of Programs: A System for Automatic Program Modification., и . POPL, стр. 144-154. ACM, (1977)Formalization of Properties of Recursively Defined Functions, и . STOC, стр. 201-210. ACM, (1969)The Optimal Fixedpoint of Recursive Programs, и . STOC, стр. 194-206. ACM, (1975)A Hierarchy of Temporal Properties., и . PODC, стр. 377-410. ACM, (1990)The Origin of the Binary-Search Paradigm., и . IJCAI, стр. 222-224. Morgan Kaufmann, (1985)Visual Verification of Reactive Systems., , , и . TACAS, том 1217 из Lecture Notes in Computer Science, стр. 334-350. Springer, (1997)Linear Ranking with Reachability., , и . CAV, том 3576 из Lecture Notes in Computer Science, стр. 491-504. Springer, (2005)Deductive Model Checking., , и . CAV, том 1102 из Lecture Notes in Computer Science, стр. 208-219. Springer, (1996)What's Decidable About Arrays?, , и . VMCAI, том 3855 из Lecture Notes in Computer Science, стр. 427-442. Springer, (2006)Abstraction and Modular Verification of Infinite-State Reactive Systems., , , , и . Requirements Targeting Software and Systems Engineering, том 1526 из Lecture Notes in Computer Science, стр. 273-292. Springer, (1997)