Journals in DBLP
John C. Knight AE Introduction. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2002, v:28, n:3, pp:209- [Journal ] Wuu Yang A Classification of Noncircular Attribute Grammars Based on the Look-Ahead Behavior. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2002, v:28, n:3, pp:210-227 [Journal ] Kevin L. Mills , Hassan Gomaa Knowledge-Based Automation of a Design Method for Concurrent Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2002, v:28, n:3, pp:228-255 [Journal ] Stuart G. Stubblebine , Rebecca N. Wright An Authentication Logic with Formal Semantics Supporting Synchronization, Revocation, and Recency. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2002, v:28, n:3, pp:256-285 [Journal ] Emilia Rosti , Giuseppe Serazzi , Evgenia Smirni , Mark S. Squillante Models of Parallel Applications with Large Computation and I/O Requirements. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2002, v:28, n:3, pp:286-307 [Journal ] Ann E. Kelley Sobel , Michael R. Clarkson Formal Methods Application: An Empirical Tale of Software Development. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2002, v:28, n:3, pp:308-320 [Journal ]