|
Journals in DBLP
- 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]
- 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]
- 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]
- 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]
|