Automatic proofs for scalecharts

Bosworth, R. (2004) Automatic proofs for scalecharts In: Proceedings of the third international conference, diagrams 2004, Cambridge, UK, 22-24 March, 2002.

[img]
Preview
Text
D2k4RB.pdf

Download (127kB) | Preview
Item Type: Contribution to conference proceedings in the public domain ( Full Paper)
Additional Information: The final publication is available at link.springer.com
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
Depositing User: editor cmis
Date Deposited: 28 Sep 2007
Last Modified: 21 May 2014 11:01
URI: http://eprints.brighton.ac.uk/id/eprint/1028

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year