Automatic proofs for scalecharts

Tools

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

Preview

PDF - Submitted Version
124Kb

Item Type:	Chapter in book
Additional Information:	(c) 2004 The Author
Subjects:	G000 Computing and Mathematical Sciences > G100 Mathematics
DOI (a stable link to the resource):	10.1007/b95854
Faculties:	Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
ID Code:	1028
Deposited By:	editor cmis
Deposited On:	28 Sep 2007
Last Modified:	24 May 2012 12:41

Repository Staff Only: item control page