|
Journals in DBLP
- Albert Benveniste, Axel Poigné
Foreword. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2001, v:19, n:1, pp:5-6 [Journal]
- Edmund M. Clarke, Armin Biere, Richard Raimi, Yunshan Zhu
Bounded Model Checking Using Satisfiability Solving. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2001, v:19, n:1, pp:7-34 [Journal]
- Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, Ilan Beer, Cindy Eisner, Daniel Geist, Tamir Heyman, Iris Reuveni, Eran Rippel, Irit Shitsevalov, Yaron Wolfsthal, Tali Yatzkar-Haham
On the Effective Deployment of Functional Formal Verification. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2001, v:19, n:1, pp:35-44 [Journal]
- Werner Damm, David Harel
LSCs: Breathing Life into Message Sequence Charts. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2001, v:19, n:1, pp:45-80 [Journal]
- Klaus Winkelmann
Formal Methods in Designing Embedded Systems-the SACRES Experience. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2001, v:19, n:1, pp:81-110 [Journal]
|