Items where Author is "Bosworth, R."
Group by: Item Type | No Grouping Jump to: Chapter in book | Other form of assessable output Number of items: 2.
Chapter in bookBosworth, R. (2004) Automatic proofs for scalecharts In: Blackwell, Alan, Marriott, Kim and Shimojima, Atsushi, eds. Diagrammatic representation and inference: third international conference, Diagrams 2004. Cambridge, UK, Mar 22-24: proceedings. Lecture notes in computer science, 2980/2004 . Springer-Verlag, Berlin; London, pp. 227-230. ISBN 9783540212683 Other form of assessable outputHowse, J., Bosworth, R., Fish, A., Stapleton, G., Taylor, J., Rodgers, P. and Thompson, S. (2006) Euler diagram-based notations University of Brighton, Brighton, UK. (Unpublished) |
| Login |
