Eduard Cerny, Fen Jin. Verification of Real Time Controllers Against Timing Diagram Specifications Using Constraint Logic Programming. In ICCD. pages 32-39, 1999. [doi]
@inproceedings{CernyJ99,
title = {Verification of Real Time Controllers Against Timing Diagram Specifications Using Constraint Logic Programming},
author = {Eduard Cerny and Fen Jin},
year = {1999},
url = {http://csdl.computer.org/comp/proceedings/iccd/1999/0406/00/04060032abs.htm},
tags = {program verification, constraints, logic programming, programming, logic},
researchr = {https://researchr.org/publication/CernyJ99},
cites = {0},
citedby = {0},
pages = {32-39},
booktitle = {ICCD},
}