The SCEAS System
Navigation Menu

Journals in DBLP

Autom. Softw. Eng.
2005, volume: 12, number: 3

  1. Wolfgang Emmerich, David Wile
    Introduction. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2005, v:12, n:3, pp:295-296 [Journal]
  2. Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer
    Component Verification with Automatically Generated Assumptions. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2005, v:12, n:3, pp:297-320 [Journal]
  3. Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen
    Deviation Analysis: A New Use of Model Checking. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2005, v:12, n:3, pp:321-347 [Journal]
  4. Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
    Modular Verification of Open Features Using Three-Valued Model Checking. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2005, v:12, n:3, pp:349-382 [Journal]
  5. Pankaj K. Garg
    Desert Island Reading: Back to the Future. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2005, v:12, n:3, pp:383-384 [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