Automatic proofs for scalecharts

R. Bosworth

doi:10.1007/b95854

Automatic proofs for scalecharts

R. Bosworth

University of Brighton

Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

Original language	English
Title of host publication	Proceedings of the third international conference, diagrams 2004
Editors	Alan Blackwell, Kim Marriott, Atsushi Shimojima
Place of Publication	Berlin; London
Publisher	Springer-Verlag
Pages	227-230
Number of pages	4
Volume	2980/2
ISBN (Print)	9783540212683
DOIs	https://doi.org/10.1007/b95854
Publication status	Published - 2004
Event	Proceedings of the Third International Conference, Diagrams 2004 - Cambridge, UK, March 22-24, 2004 Duration: 1 Jan 2004 → …

Publication series

Name	Lecture notes in computer science

Conference

Conference	Proceedings of the Third International Conference, Diagrams 2004
Period	1/01/04 → …

Bibliographical note

The final publication is available at link.springer.com

Access to Document

10.1007/b95854Licence: Unspecified

D2k4RB.pdfOther version, 125 KBLicence: Unspecified

http://link.springer.com/chapter/10.1007/978-3-540-25931-2_21Licence: Unspecified

Cite this

@inproceedings{8a4382dce35f46d0baed771b26fbf59e,

title = "Automatic proofs for scalecharts",

author = "R. Bosworth",

note = "The final publication is available at link.springer.com; Proceedings of the Third International Conference, Diagrams 2004 ; Conference date: 01-01-2004",

year = "2004",

doi = "10.1007/b95854",

language = "English",

isbn = "9783540212683",

volume = "2980/2",

series = "Lecture notes in computer science",

publisher = "Springer-Verlag",

pages = "227--230",

editor = "Alan Blackwell and Kim Marriott and Atsushi Shimojima",

booktitle = "Proceedings of the third international conference, diagrams 2004",

}

Automatic proofs for scalecharts. / Bosworth, R.
Proceedings of the third international conference, diagrams 2004. ed. / Alan Blackwell; Kim Marriott; Atsushi Shimojima. Vol. 2980/2 Berlin; London: Springer-Verlag, 2004. p. 227-230 (Lecture notes in computer science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

TY - GEN

T1 - Automatic proofs for scalecharts

AU - Bosworth, R.

N1 - The final publication is available at link.springer.com

PY - 2004

Y1 - 2004

U2 - 10.1007/b95854

DO - 10.1007/b95854

M3 - Conference contribution with ISSN or ISBN

SN - 9783540212683

VL - 2980/2

T3 - Lecture notes in computer science

SP - 227

EP - 230

BT - Proceedings of the third international conference, diagrams 2004

A2 - Blackwell, Alan

A2 - Marriott, Kim

A2 - Shimojima, Atsushi

PB - Springer-Verlag

CY - Berlin; London

T2 - Proceedings of the Third International Conference, Diagrams 2004

Y2 - 1 January 2004

ER -