The SCEAS System
Navigation Menu

Journals in DBLP

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

  1. Wolfgang Emmerich, David Wile
    Introduction. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2005, v:12, n:4, pp:391-392 [Journal]
  2. Steve Roach, Jeffrey Van Baalen
    Automated Procedure Construction for Deductive Synthesis. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2005, v:12, n:4, pp:393-414 [Journal]
  3. Robert J. Hall
    Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2005, v:12, n:4, pp:415-446 [Journal]
  4. Prasanna Padmanabhan, Robyn R. Lutz
    Tool-Supported Verification of Product Line Requirements. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2005, v:12, n:4, pp:447-465 [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