The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
E. Allen Emerson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla
    Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. [Citation Graph (7, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1986, v:8, n:2, pp:244-263 [Journal]
  2. E. Allen Emerson, Charanjit S. Jutla
    The Complexity of Tree Automata and Logics of Programs (Extended Abstract) [Citation Graph (2, 0)][DBLP]
    FOCS, 1988, pp:328-337 [Conf]
  3. E. Allen Emerson, Edmund M. Clarke
    Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons. [Citation Graph (2, 0)][DBLP]
    Sci. Comput. Program., 1982, v:2, n:3, pp:241-266 [Journal]
  4. E. Allen Emerson, Chin-Laung Lei
    Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract) [Citation Graph (1, 0)][DBLP]
    LICS, 1986, pp:267-278 [Conf]
  5. Paul C. Attie, E. Allen Emerson
    Synthesis of Concurrent Systems with Many Similar Sequential Processes. [Citation Graph (1, 0)][DBLP]
    POPL, 1989, pp:191-201 [Conf]
  6. E. Allen Emerson, Tom Sadler, Jai Srinivasan
    Efficient Temporal Reasoning. [Citation Graph (1, 0)][DBLP]
    POPL, 1989, pp:166-178 [Conf]
  7. E. Allen Emerson, Joseph Y. Halpern
    ``Sometimes'' and ``Not Never'' revisited: on branching versus linear time temporal logic. [Citation Graph (1, 0)][DBLP]
    J. ACM, 1986, v:33, n:1, pp:151-178 [Journal]
  8. E. Allen Emerson
    Automated Temporal Reasoning about Reactive Systems. [Citation Graph (0, 0)][DBLP]
    Banff Higher Order Workshop, 1995, pp:41-101 [Conf]
  9. E. Allen Emerson, Vineet Kahlon
    Reducing Model Checking of the Many to the Few. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:236-254 [Conf]
  10. Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi
    Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:387-390 [Conf]
  11. Edmund M. Clarke, E. Allen Emerson, Somesh Jha, A. Prasad Sistla
    Symmetry Reductions inModel Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:147-158 [Conf]
  12. E. Allen Emerson
    Methods for Mu-calculus Model Checking: A Tutorial (Abstract). [Citation Graph (0, 0)][DBLP]
    CAV, 1995, pp:141- [Conf]
  13. E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla
    On Model-Checking for Fragments of µ-Calculus. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:385-396 [Conf]
  14. E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan
    Quantitative Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    CAV, 1990, pp:136-145 [Conf]
  15. E. Allen Emerson, Kedar S. Namjoshi
    Automatic Verification of Parameterized Synchronous Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:87-98 [Conf]
  16. E. Allen Emerson, Kedar S. Namjoshi
    Verification of Parameterized Bus Arbitration Protocol. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:452-463 [Conf]
  17. E. Allen Emerson, A. Prasad Sistla
    Symmetry and Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:463-478 [Conf]
  18. E. Allen Emerson, A. Prasad Sistla
    Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach. [Citation Graph (0, 0)][DBLP]
    CAV, 1995, pp:309-324 [Conf]
  19. Nina Amla, E. Allen Emerson, Kedar S. Namjoshi
    Efficient Decompositional Model Checking for Regular Timing Diagrams. [Citation Graph (0, 0)][DBLP]
    CHARME, 1999, pp:67-81 [Conf]
  20. E. Allen Emerson, Vineet Kahlon
    Exact and Efficient Verification of Parameterized Cache Coherence Protocols. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:247-262 [Conf]
  21. E. Allen Emerson, Richard J. Trefler
    From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking. [Citation Graph (0, 0)][DBLP]
    CHARME, 1999, pp:142-156 [Conf]
  22. E. Allen Emerson, Thomas Wahl
    On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:216-230 [Conf]
  23. Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson
    Predictive Reachability Using a Sample-Based Approach. [Citation Graph (0, 0)][DBLP]
    CHARME, 2005, pp:388-392 [Conf]
  24. Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler
    Abstract Patterns of Compositional Reasoning. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:423-438 [Conf]
  25. E. Allen Emerson
    Efficient Automation of Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:393-394 [Conf]
  26. E. Allen Emerson, Vineet Kahlon
    Parameterized Model Checking of Ring-Based Message Passing Systems. [Citation Graph (0, 0)][DBLP]
    CSL, 2004, pp:325-339 [Conf]
  27. Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson
    Multi-threaded reachability. [Citation Graph (0, 0)][DBLP]
    DAC, 2005, pp:467-470 [Conf]
  28. E. Allen Emerson
    Model Checking and the Mu-calculus. [Citation Graph (0, 0)][DBLP]
    Descriptive Complexity and Finite Models, 1996, pp:185-214 [Conf]
  29. Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain
    On Partitioning and Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    FM, 2005, pp:497-511 [Conf]
  30. Farn Wang, Aloysius K. Mok, E. Allen Emerson
    Symbolic Model Checking for Distributed Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:632-651 [Conf]
  31. Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi
    Model Checking Synchronous Timing Diagrams. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2000, pp:283-298 [Conf]
  32. Debashis Sahoo, Subramanian K. Iyer, Jawahar Jain, Christian Stangier, Amit Narayan, David L. Dill, E. Allen Emerson
    A Partitioning Methodology for BDD-Based Verification. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2004, pp:399-413 [Conf]
  33. E. Allen Emerson, Charanjit S. Jutla
    Tree Automata, Mu-Calculus and Determinacy (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    FOCS, 1991, pp:368-377 [Conf]
  34. Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler
    Visual Specifications for Modular Reasoning about Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 2002, pp:226-242 [Conf]
  35. E. Allen Emerson
    Model Checking: Theory into Practice. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2000, pp:1-10 [Conf]
  36. E. Allen Emerson, Edmund M. Clarke
    Characterizing Correctness Properties of Parallel Programs Using Fixpoints. [Citation Graph (0, 0)][DBLP]
    ICALP, 1980, pp:169-181 [Conf]
  37. Robert S. Streett, E. Allen Emerson
    The Propositional Mu-Calculus is Elementary. [Citation Graph (0, 0)][DBLP]
    ICALP, 1984, pp:465-472 [Conf]
  38. William Canfield, E. Allen Emerson, Avijit Saha
    Checking Formal Specifications under Simulation. [Citation Graph (0, 0)][DBLP]
    ICCD, 1997, pp:455-460 [Conf]
  39. E. Allen Emerson, Richard J. Trefler, Thomas Wahl
    Reducing Model Checking of the Few to the One. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2006, pp:94-113 [Conf]
  40. Farn Wang, Aloysius K. Mok, E. Allen Emerson
    Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL. [Citation Graph (0, 0)][DBLP]
    ICSE, 1992, pp:188-198 [Conf]
  41. James C. Browne, E. Allen Emerson, Mohamed G. Gouda, Daniel P. Miranker, Aloysius K. Mok, Roberto J. Bayardo Jr., Sarah E. Chodrow, David Gadbois, F. Furman Haddix, Thomas W. Hetherington, Lance Obermeyer, Duu-Chung Tsou, Chih-Kan Wang, Rwo-Hsi Wang
    A New Approach to Modularity in Rule-Based Programming. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1994, pp:18-25 [Conf]
  42. E. Allen Emerson, Michael Evangelist, Jai Srinivasan
    On the Limits of Efficient Temporal Decidability (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    LICS, 1990, pp:464-475 [Conf]
  43. E. Allen Emerson, John Havlicek, Richard J. Trefler
    Virtual Symmetry Reduction. [Citation Graph (0, 0)][DBLP]
    LICS, 2000, pp:121-131 [Conf]
  44. E. Allen Emerson, Charanjit S. Jutla
    On Simultaneously Determinizing and Complementing omega-Automata (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    LICS, 1989, pp:333-342 [Conf]
  45. E. Allen Emerson, Vineet Kahlon
    Model Checking Guarded Protocols. [Citation Graph (0, 0)][DBLP]
    LICS, 2003, pp:361-370 [Conf]
  46. E. Allen Emerson, Kedar S. Namjoshi
    On Model Checking for Non-Deterministic Infinite-State Systems. [Citation Graph (0, 0)][DBLP]
    LICS, 1998, pp:70-80 [Conf]
  47. E. Allen Emerson, Richard J. Trefler
    Parametric Quantitative Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    LICS, 1999, pp:336-343 [Conf]
  48. Edmund M. Clarke, E. Allen Emerson
    Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:52-71 [Conf]
  49. E. Allen Emerson
    Automata, Tableaux and Temporal Logics (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:79-88 [Conf]
  50. E. Allen Emerson, A. Prasad Sistla
    Deciding Branching Time Logic: A Triple Exponential Decision Procedure for CTL*. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:176-192 [Conf]
  51. E. Allen Emerson, Richard J. Trefler
    Model Checking Real-Time Properties of Symmetric Systems. [Citation Graph (0, 0)][DBLP]
    MFCS, 1998, pp:427-436 [Conf]
  52. Anish Arora, Paul C. Attie, E. Allen Emerson
    Synthesis of Fault-Tolerant Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    PODC, 1998, pp:173-182 [Conf]
  53. Paul C. Attie, E. Allen Emerson
    Synthesis of Concurrent Systems for an Atomic Read / Atomic Write Model of Computation (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    PODC, 1996, pp:111-120 [Conf]
  54. E. Allen Emerson, Jai Srinivasan
    A Decidable Temporal Logic to Reason About Many Processes. [Citation Graph (0, 0)][DBLP]
    PODC, 1990, pp:233-246 [Conf]
  55. Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla
    Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:117-126 [Conf]
  56. E. Allen Emerson, Joseph Y. Halpern
    ``Sometimes'' and ``Not Never'' Revisited: On Branching Versus Linear Time. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:127-140 [Conf]
  57. E. Allen Emerson, Chin-Laung Lei
    Modalities for Model Checking: Branching Time Strikes Back. [Citation Graph (0, 0)][DBLP]
    POPL, 1985, pp:84-96 [Conf]
  58. E. Allen Emerson, Kedar S. Namjoshi
    Reasoning about Rings. [Citation Graph (0, 0)][DBLP]
    POPL, 1995, pp:85-94 [Conf]
  59. E. Allen Emerson
    Real-Time and the Mu-Calculus (Preliminary Report). [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1991, pp:176-194 [Conf]
  60. E. Allen Emerson, Jai Srinivasan
    Branching time temporal logic. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:123-172 [Conf]
  61. E. Allen Emerson, Chin-Laung Lei
    Temporal Reasoning Under Generalized Fairness Constraints. [Citation Graph (0, 0)][DBLP]
    STACS, 1986, pp:21-36 [Conf]
  62. E. Allen Emerson, Joseph Y. Halpern
    Decision Procedures and Expressiveness in the Temporal Logic of Branching Time [Citation Graph (0, 0)][DBLP]
    STOC, 1982, pp:169-180 [Conf]
  63. E. Allen Emerson, A. Prasad Sistla
    Deciding Branching Time Logic [Citation Graph (0, 0)][DBLP]
    STOC, 1984, pp:14-24 [Conf]
  64. Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler
    Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:465-479 [Conf]
  65. Jyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta
    Automatic Verification of Parameterized Data Structures. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:27-41 [Conf]
  66. E. Allen Emerson, Somesh Jha, Doron Peled
    Combining Partial Order and Symmetry Reductions. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:19-34 [Conf]
  67. E. Allen Emerson, Vineet Kahlon
    Model Checking Large-Scale and Parameterized Resource Allocation Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:251-265 [Conf]
  68. E. Allen Emerson, Vineet Kahlon
    Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:144-159 [Conf]
  69. E. Allen Emerson, Thomas Wahl
    Dynamic Symmetry Reduction. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:382-396 [Conf]
  70. E. Allen Emerson, Richard J. Trefler
    Generalized Quantitative Temporal Reasoning: An Automata Theoretic Approach. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:189-200 [Conf]
  71. Paul C. Attie, Munindar P. Singh, E. Allen Emerson, Amit P. Sheth, Marek Rusinkiewicz
    Scheduling workflows by enforcing intertask dependencies. [Citation Graph (0, 0)][DBLP]
    Distributed Systems Engineering, 1996, v:3, n:4, pp:222-238 [Journal]
  72. E. Allen Emerson, Thomas Wahl
    Efficient Reduction Techniques for Systems with Many Components. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:379-399 [Journal]
  73. Subramanian K. Iyer, Jawahar Jain, Debashis Sahoo, E. Allen Emerson
    Under-approximation Heuristics for Grid-based Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:135, n:2, pp:31-46 [Journal]
  74. Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham
    Efficient Model Checking of Hardware Using Conditioned Slicing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:279-294 [Journal]
  75. E. Allen Emerson, A. Prasad Sistla
    Symmetry and Model Checking. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1996, v:9, n:1/2, pp:105-131 [Journal]
  76. E. Allen Emerson, A. Prasad Sistla
    Deciding Full Branching Time Logic [Citation Graph (0, 0)][DBLP]
    Information and Control, 1984, v:61, n:3, pp:175-201 [Journal]
  77. Robert S. Streett, E. Allen Emerson
    An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1989, v:81, n:3, pp:249-264 [Journal]
  78. E. Allen Emerson, Kristina D. Hager, Jay H. Konieczka
    Molecular Model Checking. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:733-742 [Journal]
  79. E. Allen Emerson, Kedar S. Namjoshi
    On Reasoning About Rings. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2003, v:14, n:4, pp:527-550 [Journal]
  80. E. Allen Emerson
    Uniform Inevitability is Tree Automaton Ineffable. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1987, v:24, n:2, pp:77-79 [Journal]
  81. E. Allen Emerson, Joseph Y. Halpern
    Decision Procedures and Expressiveness in the Temporal Logic of Branching Time. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1985, v:30, n:1, pp:1-24 [Journal]
  82. E. Allen Emerson, Tom Sadler, Jai Srinivasan
    Efficient Temporal Satisfiability. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1992, v:2, n:2, pp:173-210 [Journal]
  83. E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan
    Quantitative Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1992, v:4, n:4, pp:331-352 [Journal]
  84. E. Allen Emerson, Chin-Laung Lei
    Modalities for Model Checking: Branching Time Logic Strikes Back. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1987, v:8, n:3, pp:275-306 [Journal]
  85. E. Allen Emerson, Charanjit S. Jutla
    The Complexity of Tree Automata and Logics of Programs. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1999, v:29, n:1, pp:132-158 [Journal]
  86. Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain
    On partitioning and symbolic model checking. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2006, v:25, n:5, pp:780-788 [Journal]
  87. E. Allen Emerson
    Alternative Semantics for Temporal Logics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1983, v:26, n:, pp:121-130 [Journal]
  88. E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla
    On model checking for the µ-calculus and its fragments. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:258, n:1-2, pp:491-522 [Journal]
  89. Paul C. Attie, Anish Arora, E. Allen Emerson
    Synthesis of fault-tolerant concurrent programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2004, v:26, n:1, pp:125-185 [Journal]
  90. Paul C. Attie, E. Allen Emerson
    Synthesis of concurrent programs for an atomic read/write model of computation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2001, v:23, n:2, pp:187-242 [Journal]
  91. Paul C. Attie, E. Allen Emerson
    Synthesis of Concurrent Systems with Many Similar Processes. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1998, v:20, n:1, pp:51-115 [Journal]
  92. E. Allen Emerson, A. Prasad Sistla
    Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1997, v:19, n:4, pp:617-638 [Journal]
  93. A. Prasad Sistla, Viktor Gyuris, E. Allen Emerson
    SMC: a symmetry-based model checker for verification of safety and liveness properties. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2000, v:9, n:2, pp:133-166 [Journal]
  94. Farn Wang, Aloysius K. Mok, E. Allen Emerson
    Distributed Real-Time System Specification and Verification in APTL. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1993, v:2, n:4, pp:346-378 [Journal]
  95. Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham
    Improved verification of hardware designs through antecedent conditioned slicing. [Citation Graph (0, 0)][DBLP]
    STTT, 2007, v:9, n:1, pp:89-101 [Journal]

  96. Meanings of Model Checking. [Citation Graph (, )][DBLP]


  97. Verification of recursive methods on tree-like data structures. [Citation Graph (, )][DBLP]


  98. Automatic Generation of Local Repairs for Boolean Programs. [Citation Graph (, )][DBLP]


  99. Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients. [Citation Graph (, )][DBLP]


  100. Time of Time. [Citation Graph (, )][DBLP]


  101. The Beginning of Model Checking: A Personal Perspective. [Citation Graph (, )][DBLP]


  102. Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic. [Citation Graph (, )][DBLP]


  103. SVISS: Symbolic Verification of Symmetric Systems. [Citation Graph (, )][DBLP]


  104. Model Checking: Progress and Problems. [Citation Graph (, )][DBLP]


  105. Model checking: algorithmic verification and debugging. [Citation Graph (, )][DBLP]


Search in 0.051secs, Finished in 0.056secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002