Journals in DBLP

Formal Methods in System Design
2002, volume: 21, number: 3

1. Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün
   Combining Software and Hardware Verification Techniques. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2002, v:21, n:3, pp:251-280 [Journal]
   
2. Peter Buchholz, Peter Kemper
   Hierarchical Reachability Graph Generation for Petri Nets. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2002, v:21, n:3, pp:281-315 [Journal]
   
3. Tamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster
   A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2002, v:21, n:3, pp:317-338 [Journal]