Author of the publication

Modeling and Verifying Distributed Systems Using Priorities: A Case Study.

, , , and . Software - Concepts and Tools, 17 (2): 50-62 (1996)

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

Experience report: the reactis validation tool., and . ICFP, page 137-140. ACM, (2007)A Front-End Generator for Verification Tools., , and . TACAS, volume 1019 of Lecture Notes in Computer Science, page 153-173. Springer, (1995)Priorities for Modeling and Verifying Distributed Systems., , , and . TACAS, volume 1055 of Lecture Notes in Computer Science, page 278-297. Springer, (1996)Modeling and Verifying Distributed Systems Using Priorities: A Case Study., , , and . Software - Concepts and Tools, 17 (2): 50-62 (1996)Automated Validation of Software Models., , , and . ASE, page 91-. IEEE Computer Society, (2001)An Instrumentation-Based Approach to Controller Model Validation., , and . ASWSD, volume 4922 of Lecture Notes in Computer Science, page 84-97. Springer, (2006)Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking., and . TACAS, volume 1785 of Lecture Notes in Computer Science, page 378-394. Springer, (2000)Generic tools for verifying concurrent systems., and . Sci. Comput. Program., 42 (1): 39-47 (2002)The NCSU Concurrency Workbench., and . CAV, volume 1102 of Lecture Notes in Computer Science, page 394-397. Springer, (1996)TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems., , , and . FORTE, volume 135 of IFIP Conference Proceedings, page 457-467. Kluwer, (1998)