( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Parameterized Verification with Automatically Computed Inductive Assertions.

, , , , и . CAV, том 2102 из Lecture Notes in Computer Science, стр. 221-234. Springer, (2001)

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.

Manutschehr Amirfeyz

Iradj Amirzadeh-Asl

Mahmud Amirian-Khaffadjeh

Belal Amireh

Mansoor Anwer Ismail Amir

 

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

STATEMATE; A Working Environment for the Development of Complex Reactive Systems., , , , , , и . ICSE, стр. 396-406. IEEE Computer Society, (1988)STATEMATE: a working environment for the development of complex reactive systems, , , , , , и . стр. 1--3. (1988)STATEMATE: a working environment for the development of complex reactive systems, , , , , , , и . Software Engineering, IEEE Transactions on, 16 (4): 403--414 (1990)Refining the Undecidability Frontier of Hybrid Automata., и . FSTTCS, том 3821 из Lecture Notes in Computer Science, стр. 261-272. Springer, (2005)Range Allocation for Equivalence Logic., , и . FSTTCS, том 2245 из Lecture Notes in Computer Science, стр. 317-333. Springer, (2001)Formal Verification of the Ricart-Agrawala Algorithm., , и . FSTTCS, том 1974 из Lecture Notes in Computer Science, стр. 325-335. Springer, (2000)Simple Programs and Their Decision Problems., и . ICALP, том 52 из Lecture Notes in Computer Science, стр. 380-390. Springer, (1977)Revisiting Synthesis of GR(1) Specifications., и . Haifa Verification Conference, том 6504 из Lecture Notes in Computer Science, стр. 161-181. Springer, (2010)Finite Models for Deterministic Propositional Dynamic Logic., , и . ICALP, том 115 из Lecture Notes in Computer Science, стр. 249-263. Springer, (1981)Realizing an Equational Specification., и . ICALP, том 115 из Lecture Notes in Computer Science, стр. 459-478. Springer, (1981)