Вы здесь

Emerson E. A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Automated Temporal Reasoning about Reactive Systems 1996 Emerson E. A. Lecture Notes in Computer Science 30.03.1996
СТ Distributed Real-Time System Sprcification and Verification in APTL 1993 Wang F., Mok A., Emerson E. A. ACM Trans. Software Engineering and Methodology 29.12.1993
СТ Methods for Mu-calculus Model Checking: A Tutorial 1995 Emerson E. A. Lecture Notes in Computer Science 27.07.1995
СТ Model Checking Large-Scale and Parameterized Resource Allocation Systems 2002 Emerson E. A., Kahlon V. Lecture Notes in Computer Science 21.05.2002
СТ Model Checking Real-Time Properties of Symmetric Systems 1998 Emerson E. A., Trefler R. J. Lecture Notes in Computer Science 02.09.1998
СТ Model Checking: Theory into Practice 2000 Emerson E. A. Lecture Notes in Computer Science Lecture Notes in Computer Science 31.01.2001
СТ On model-checking for fragments of -calculus 1993 Emerson E. A., Julta C. S., Sistla A. P. Lecture Notes in Computer Science 20.08.1993
СТ Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols 2003 Emerson E. A., Kahlon V. Lecture Notes in Computer Science 17.04.2003
СТ Real-Time and Mu-Calculus (Preliminary Report) 1992 Emerson E. A. Lecture Notes in Computer Science 08.08.1992
СТ Symbolic Model Checking for Distributed Real-Time Systems 1993 Wang F., Mok A., Emerson E. A. Lecture Notes in Computer Science 27.05.1993
СТ Symmetry and Model Checking 1993 Emerson E. A., Sistla A. P. Lecture Notes in Computer Science 20.08.1993
СТ Synthesis of Concurrent Systems with Many Similar Processes 1998 Attie P. C., Emerson E. A. ACM Trans. on Programming Languages and Systems 30.07.1998
СТ Temporal and Modal Logic 1994 Emerson E. A. Handbook of Theoretical Computer Science. Formal Models and Semantics. Volume B 27.01.1998
СТ Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach 1995 Emerson E. A., Sistla A. P. Lecture Notes in Computer Science 27.07.1995
СТ Visual Specifications for Modular Reasoning about Asynchronous Systems 1900 Amla N., Emerson E. A., Namjoshi K. S., Trefler R. J. Lecture Notes in Computer Science 29.11.2002