Author of the publication

Memory-Efficient Algorithms for the Verification of Temporal Properties.

, , , and . Formal Methods in System Design, 1 (2/3): 275-288 (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.

 

Other publications of authors with the same name

Small Approximate Pareto Sets for Biobjective Shortest Paths and Other Problems., and . SIAM J. Comput., 39 (4): 1340-1371 (2009)Node- and Edge-Deletion NP-Complete Problems. STOC, page 253-264. ACM, (1978)Multiobjective Query Optimization., and . PODS, ACM, (2001)Deadlock-Freedom (and Safety) of Transactions in a Distributed Database., and . PODS, page 105-112. ACM, (1985)Issues of Correctness in Database Concurrency Control by Locking. STOC, page 363-367. ACM, (1981)Linear Approximation of Shortest Superstrings, , , , and . STOC, page 328-336. ACM, (1991)Recursive Concurrent Stochastic Games., and . ICALP (2), volume 4052 of Lecture Notes in Computer Science, page 324-335. Springer, (2006)The Complexity of Restricted Minimum Spanning Tree Problems (Extended Abstract)., and . ICALP, volume 71 of Lecture Notes in Computer Science, page 460-470. Springer, (1979)Probability and Recursion., and . ISAAC, volume 3827 of Lecture Notes in Computer Science, page 2-4. Springer, (2005)Adaptive Model Checking., , and . TACAS, volume 2280 of Lecture Notes in Computer Science, page 357-370. Springer, (2002)