|
Journals in DBLP
- Howard Bowman, Helen Cameron, Peter King, Simon Thompson
Mexitl: Multimedia in Executable Interval Temporal Logic. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2003, v:22, n:1, pp:5-38 [Journal]
- Martin Keim, Rolf Drechsler, Bernd Becker, Michael Martin, Paul Molitor
Polynomial Formal Verification of Multipliers. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2003, v:22, n:1, pp:39-58 [Journal]
- Béatrice Bérard, Laurent Fribourg, Francis Klay, Jean-François Monin
Compared Study of Two Correctness Proofs for the Standardized. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2003, v:22, n:1, pp:59-86 [Journal]
|