Time consistency of MSC-2000 specifications

Introduction to Algorithms

V. J. Rayward‐Smith, Thomas H. Cormen, Charles E. Leiserson et al. · Journal of the Operational Research Society · 1991 · 17K citations

Computing, Computer Engineering, Computer Science +9

Temporal constraint networks

Rina Dechter, Itay Meiri, Judea Pearl · Artificial Intelligence · 1991 · 1.8K citations

Computing, Computer Science, Algorithms +14

Specification and Description Language (SDL)

Itu-T · Medical Entomology and Zoology · 1999 · 655 citations

Computing, Computer Science, Systems Engineering +10

Socialism and Democracy

Peter Murphy · Thesis Eleven · 1990 · 57 citations

Social Sciences, Political Science, Sociology +10

An Analyser for Mesage Sequence Charts

Rajeev Alur, Gerard J. Holzmann, Doron Peled · Tools and Algorithms for Construction and Analysis of Systems · 1996 · 49 citations

Computing, Mathematics, Time Series Analysis +7