|
Journals in DBLP
- Anders Børjesson, Kim Guldstrand Larsen, Arne Skou
Generality in Design and Compositional Verification Using TAV. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1995, v:6, n:3, pp:239-258 [Journal]
- Ferhat Khendek, Gregor von Bochmann
Merging Behavior Specifications. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1995, v:6, n:3, pp:259-293 [Journal]
- Jørgen Staunstrup, Niels Mellergaard
Localized Verification of Modular Designs. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1995, v:6, n:3, pp:295-320 [Journal]
|