Journals in DBLP

Formal Methods in System Design
1995, volume: 6, number: 1

1. Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem
   Property Preserving Abstractions for the Verification of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1995, v:6, n:1, pp:11-44 [Journal]
   
2. Kenneth L. McMillan
   A Technique of State Space Search Based on Unfolding. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1995, v:6, n:1, pp:45-65 [Journal]
   
3. Felice Balarin, Alberto L. Sangiovanni-Vincentelli
   An Iterative Approach to Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1995, v:6, n:1, pp:67-95 [Journal]
   
4. James C. Corbett, George S. Avrunin
   Using Integer Programming to Verify General Safety and Liveness Properties. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1995, v:6, n:1, pp:97-123 [Journal]