Eduard Cerny, Fen Jin. Verification of Real Time Controllers Against Timing Diagram Specifications Using Constraint Logic Programming. In 24th EUROMICRO 98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden. pages 10229-10236, IEEE Computer Society, 1998. [doi]
Abstract is missing.