The SCEAS System
Navigation Menu

Journals in DBLP

Autom. Softw. Eng.
2004, volume: 11, number: 2

  1. Ramesh Bharadwaj, Robert J. Hall
    Introduction. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2004, v:11, n:2, pp:99-99 [Journal]
  2. Abhik Roychoudhury, I. V. Ramakrishnan
    Inductively Verifying Invariant Properties of Parameterized Systems. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2004, v:11, n:2, pp:101-139 [Journal]
  3. Yannick Chevalier, Laurent Vigneron
    Strategy for Verifying Security Protocols with Unbounded Message Size. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2004, v:11, n:2, pp:141-166 [Journal]
  4. Ludovic Apvrille, Pierre de Saqui-Sannes, Patrick Sénac, Christophe Lohr
    Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2004, v:11, n:2, pp:167-191 [Journal]
  5. David S. Wile
    Desert Island Reading Assignment. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2004, v:11, n:2, pp:193-196 [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