Richard Bosworth. Automatic Proofs for Scalecharts. In Alan F. Blackwell, Kim Marriott, Atsushi Shimojima, editors, Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings. Volume 2980 of Lecture Notes in Computer Science, pages 227-230, Springer, 2004. [doi]
Abstract is missing.