Karsten Lüth
-
Model Checking Synchronous Timing Diagrams
FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
Visual temporal logic as a rapid prototyping tool
Computer Languages