From post

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

Thread Allocation Protocols for Distributed Real-Time and Embedded Systems.

C. Sánchez, H. Sipma, V. Subramonian, C. Gill, и Z. Manna. FORTE, том 3731 из Lecture Notes in Computer Science, стр. 159-173. Springer, (2005)

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.

Prooving Safety Properties of Hybrid Systems.A. Kapur, T. Henzinger, Z. Manna, и A. Pnueli. FTRTFT, том 863 из Lecture Notes in Computer Science, стр. 431-454. Springer, (1994)Verifying Balanced Trees.Z. Manna, H. Sipma, и T. Zhang. LFCS, том 4514 из Lecture Notes in Computer Science, стр. 363-378. Springer, (2007)The Translation of 'Go To' Programs to 'While' Programs.E. Ashcroft, и Z. Manna. IFIP Congress (1), стр. 250-255. North-Holland, (1971)Expressive Completeness of an Event-Pattern Reactive Programming LanguageC. Sánchez, M. Slanina, H. Sipma, и Z. Manna. FORTE, стр. 529-532. (2005)The Synthesis of Structure Changing Programs.Z. Manna, и R. Waldinger. ICSE, стр. 175-187. IEEE Computer Society, (1978)Temporal Logic Programming.M. Abadi, и Z. Manna. SLP, стр. 4-16. IEEE-CS, (1987)On the Faithfulness of Formal Models.Z. Manna, и A. Pnueli. MFCS, том 520 из Lecture Notes in Computer Science, стр. 28-42. Springer, (1991)Mathematical Theory of ComputationZ. Manna. McGraw-Hill Computer Science Series McGraw-Hill Kogakusha, Tokyo, (1974)Deductive Model Checking.H. Sipma, T. Uribe, и Z. Manna. Formal Methods Syst. Des., 15 (1): 49-74 (1999)The Origin of a Binary-Search Paradigm.Z. Manna, и R. Waldinger. Sci. Comput. Program., 9 (1): 37-83 (1987)