The SCEAS System
Navigation Menu

Journals in DBLP

Computer Languages, Systems & Structures
2004, volume: 30, number: 3-4

  1. Lenore D. Zuck
    Special issue of VMCAI'03. [Citation Graph (0, 0)][DBLP]
    Computer Languages, Systems & Structures, 2004, v:30, n:3-4, pp:97-98 [Journal]
  2. A. Prasad Sistla
    Employing symmetry reductions in model checking. [Citation Graph (0, 0)][DBLP]
    Computer Languages, Systems & Structures, 2004, v:30, n:3-4, pp:99-137 [Journal]
  3. Lenore D. Zuck, Amir Pnueli
    Model checking and abstraction to the aid of parameterized systems (a survey). [Citation Graph (0, 0)][DBLP]
    Computer Languages, Systems & Structures, 2004, v:30, n:3-4, pp:139-169 [Journal]
  4. B. Meenakshi, Ramaswamy Ramanujam
    Reasoning about layered message passing systems. [Citation Graph (0, 0)][DBLP]
    Computer Languages, Systems & Structures, 2004, v:30, n:3-4, pp:171-206 [Journal]
  5. Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
    Nesting analysis of mobile ambients. [Citation Graph (0, 0)][DBLP]
    Computer Languages, Systems & Structures, 2004, v:30, n:3-4, pp:207-230 [Journal]
  6. Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
    Verifying persistent security properties. [Citation Graph (0, 0)][DBLP]
    Computer Languages, Systems & Structures, 2004, v:30, n:3-4, pp:231-258 [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