Mexitl: Multimedia in Executable Interval Temporal Logic Howard BowmanHelen CameronSimon Thompson OriginalPaper Pages: 5 - 38
Polynomial Formal Verification of Multipliers Martin KeimRolf DrechslerPaul Molitor OriginalPaper Pages: 39 - 58
A Compared Study of Two Correctness Proofs for the Standardized Algorithm of ABR Conformance Béatrice BérardLaurent FribourgJean-François Monin OriginalPaper Pages: 59 - 86