The SCEAS System
Navigation Menu

Journals in DBLP

J. UCS
2001, volume: 7, number: 2

  1. Wolfgang Reif, Gerhard Schellhorn
    J.UCS Special Issue on Tools for System Design and Verification - Part 2. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:2, pp:105-106 [Journal]
  2. Rudolf Berghammer, Thorsten Hoffmann
    Modeling Sequences within the RelView System. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:2, pp:107-123 [Journal]
  3. Alessandro Armando, Silvio Ranise
    A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:2, pp:124-140 [Journal]
  4. Kai Baukus, Yassine Lakhnech, Karsten Stahl
    Verification of Parameterized Protocols. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:2, pp:141-158 [Journal]
  5. Dominique Cansell, Dominique Méry, Stephan Merz
    Diagram Refinements for the Design of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:2, pp:159-174 [Journal]
  6. Jan Rothe, Hendrik Tews, Bart Jacobs
    The Coalgebraic Class Specification Language CCSL. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:2, pp:175-193 [Journal]
  7. Wolfgang Reif, Gerhard Schellhorn, Tobias Vollmer, Jürgen Ruf
    Correctness of Efficient Real-Time Model Checking. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:2, pp:194-209 [Journal]
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002