|
Journals in DBLP
- Lars Michael Kristensen, K. Schmidt, Antti Valmari
Question-guided stubborn set methods for state properties. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2006, v:29, n:3, pp:215-251 [Journal]
- Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2006, v:29, n:3, pp:253-293 [Journal]
- Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook
Data structures for symbolic multi-valued model-checking. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2006, v:29, n:3, pp:295-344 [Journal]
|