Author: Richard Bosworth

Bosworth, Richard (2004): Automatic Proofs for Scalecharts. In: Blackwell, Alan, Marriott, Kim, Shimojima, Atsushi (eds.) Diagrams 2004 - Diagrammatic Representation and Inference - Third International Conference March 22-24, 2004, Cambridge, UK. pp. 227-230. https://link.springer.de/link/service/series/0558/bibs/2980/29800227.htm