Automatic proofs for scalecharts

R. Bosworth

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Original languageEnglish
Title of host publicationProceedings of the third international conference, diagrams 2004
EditorsAlan Blackwell, Kim Marriott, Atsushi Shimojima
Place of PublicationBerlin; London
PublisherSpringer-Verlag
Pages227-230
Number of pages4
Volume2980/2
ISBN (Print)9783540212683
DOIs
Publication statusPublished - 2004
EventProceedings of the Third International Conference, Diagrams 2004 - Cambridge, UK, March 22-24, 2004
Duration: 1 Jan 2004 → …

Publication series

NameLecture notes in computer science

Conference

ConferenceProceedings of the Third International Conference, Diagrams 2004
Period1/01/04 → …

Bibliographical note

The final publication is available at link.springer.com

Cite this

Bosworth, R. (2004). Automatic proofs for scalecharts. In A. Blackwell, K. Marriott, & A. Shimojima (Eds.), Proceedings of the third international conference, diagrams 2004 (Vol. 2980/2, pp. 227-230). (Lecture notes in computer science). Springer-Verlag. https://doi.org/10.1007/b95854