|
Journals in DBLP
- Rajeev Alur, Thomas A. Henzinger
Introduction. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1999, v:15, n:1, pp:5- [Journal]
- Rajeev Alur, Thomas A. Henzinger
Reactive Modules. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1999, v:15, n:1, pp:7-48 [Journal]
- Henny Sipma, Tomás E. Uribe, Zohar Manna
Deductive Model Checking. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1999, v:15, n:1, pp:49-74 [Journal]
- Saddek Bensalem, Yassine Lakhnech
Automatic Generation of Invariants. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1999, v:15, n:1, pp:75-92 [Journal]
|