Browse by Combined Author & Editor
Number of items: 1. Bosworth, 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 |
| Login |
