|
Journals in DBLP
- Marius Bozga, Susanne Graf, Laurent Mounier
Automated validation of distributed software using the IF environment. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal]
- Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue
Trail-directed model checking. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal]
- Cindy Eisner
Model checking the garbage collection mechanism of SMV. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal]
- Frank Huch
Model checking Erlang programs - abstracting the context-free structure. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal]
- Sarfraz Khurshid, Darko Marinov
Checking Java implementation of a naming architecture using Testera. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal]
- Timm Schäfer, Alexander Knapp, Stephan Merz
Model checking UML state machines and collaborations. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal]
- Scott D. Stoller, Willem Visser
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal]
- Kirsten Winter
Model checking with abstract types. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal]
|