Issue 1/2003
Content (3 Articles)
Mexitl: Multimedia in Executable Interval Temporal Logic
Howard Bowman, Helen Cameron, Peter King, Simon Thompson
Polynomial Formal Verification of Multipliers
Martin Keim, Rolf Drechsler, Bernd Becker, Michael Martin, Paul Molitor
A Compared Study of Two Correctness Proofs for the Standardized Algorithm of ABR Conformance
Béatrice Bérard, Laurent Fribourg, Francis Klay, Jean-François Monin