( en | de | ru )

 

Disambiguation of "Grumberg, Orna"

Author of the publication

copydeleteadd this publication to your clipboard
Program Composition via Unification.

, , and . ICALP, volume 623 of Lecture Notes in Computer Science, page 672-684. Springer, (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. You can also use the button next to the name to display some publications already assigned to the person.

Orna Ehling

Orna Rosen

Magdalena Ornatowska

Frederik Ornau

Adam S Ornatek

 

Other publications of authors with the same name

Model Checking and Modular Verification., and . ACM Trans. Program. Lang. Syst., 16 (3): 843-871 (1994)Formal Black-Box Analysis of Routing Protocol Implementations., , and . CoRR, (2017)Fail Termination of Communicating Processe., , and . PODC, page 254-265. ACM, (1984)Infinite Trees, Markings and Well Foundedness., , and . CAAP, volume 214 of Lecture Notes in Computer Science, page 238-253. Springer, (1986)Distributed Symbolic Model Checking for µ-Calculus., , and . CAV, volume 2102 of Lecture Notes in Computer Science, page 350-362. Springer, (2001)Verification Tools for Finite-State Concurrent Systems., , and . REX School/Symposium, volume 803 of Lecture Notes in Computer Science, page 124-175. Springer, (1993)How Linear Can Branching-Time Be?, and . ICTL, volume 827 of Lecture Notes in Computer Science, page 180-194. Springer, (1994)Modular Verification of Concurrent Programs via Sequential Model Checking., , and . ATVA, volume 11138 of Lecture Notes in Computer Science, page 228-247. Springer, (2018)A Game-Theoretic Approach to Simulation of Data-Parameterized Systems., , and . ATVA, volume 8837 of Lecture Notes in Computer Science, page 348-363. Springer, (2014)Intertwined Forward-Backward Reachability Analysis Using Interpolants., , and . TACAS, volume 7795 of Lecture Notes in Computer Science, page 308-323. Springer, (2013)