Journals in DBLP

Formal Methods in System Design
2005, volume: 26, number: 3

1. Christian Jacobi 0002, Christoph Berg
   Formal Verification of the VAMP Floating Point Unit. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2005, v:26, n:3, pp:227-266 [Journal]
   
2. Stavros Tripakis, Sergio Yovine, Ahmed Bouajjani
   Checking Timed Büchi Automata Emptiness Efficiently. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2005, v:26, n:3, pp:267-292 [Journal]
   
3. T. Karvi, Tienari Tienari, Roope Kaivola
   Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2005, v:26, n:3, pp:293-317 [Journal]
   
4. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
   Reduced Models for Efficient CCS Verification. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2005, v:26, n:3, pp:319-350 [Journal]