Author: Richard Bosworth

Richard Bosworth

Richard Bosworth

Publications

Publication period start: 2004
Publication period end: 2004
Number of co-authors: 0

Publications

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. http://link.springer.de/link/service/series/0558/bibs/2980/29800227.htm