Proving symmetries by model transformation

Christopher Mears, Todd Niven, Marcel Jackson, Mark Wallace

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Original languageEnglish
    Title of host publicationProceedings of the 17th International Conference on Principles and Practice of Constraint Programming
    EditorsJimmy Lee
    Place of PublicationBerlin Germany
    PublisherSpringer-Verlag London Ltd.
    Pages591 - 605
    Number of pages15
    ISBN (Print)9783642237850
    Publication statusPublished - 2011
    EventInternational Conference on Principles and Practice of Constraint Programming 2011 - Perugia, Italy
    Duration: 12 Sep 201116 Sep 2011
    Conference number: 17th
    http://www.dmi.unipg.it/cp2011/

    Conference

    ConferenceInternational Conference on Principles and Practice of Constraint Programming 2011
    Abbreviated titleCP 2011
    CountryItaly
    CityPerugia
    Period12/09/1116/09/11
    Internet address

    Cite this

    Mears, C., Niven, T., Jackson, M., & Wallace, M. (2011). Proving symmetries by model transformation. In J. Lee (Ed.), Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming (pp. 591 - 605). Berlin Germany: Springer-Verlag London Ltd..
    Mears, Christopher ; Niven, Todd ; Jackson, Marcel ; Wallace, Mark. / Proving symmetries by model transformation. Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming. editor / Jimmy Lee. Berlin Germany : Springer-Verlag London Ltd., 2011. pp. 591 - 605
    @inproceedings{a852b93811144da3bd468d220a191c35,
    title = "Proving symmetries by model transformation",
    author = "Christopher Mears and Todd Niven and Marcel Jackson and Mark Wallace",
    year = "2011",
    language = "English",
    isbn = "9783642237850",
    pages = "591 -- 605",
    editor = "Jimmy Lee",
    booktitle = "Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming",
    publisher = "Springer-Verlag London Ltd.",
    address = "Germany",

    }

    Mears, C, Niven, T, Jackson, M & Wallace, M 2011, Proving symmetries by model transformation. in J Lee (ed.), Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming. Springer-Verlag London Ltd., Berlin Germany, pp. 591 - 605, International Conference on Principles and Practice of Constraint Programming 2011, Perugia, Italy, 12/09/11.

    Proving symmetries by model transformation. / Mears, Christopher; Niven, Todd; Jackson, Marcel; Wallace, Mark.

    Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming. ed. / Jimmy Lee. Berlin Germany : Springer-Verlag London Ltd., 2011. p. 591 - 605.

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    TY - GEN

    T1 - Proving symmetries by model transformation

    AU - Mears, Christopher

    AU - Niven, Todd

    AU - Jackson, Marcel

    AU - Wallace, Mark

    PY - 2011

    Y1 - 2011

    M3 - Conference Paper

    SN - 9783642237850

    SP - 591

    EP - 605

    BT - Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming

    A2 - Lee, Jimmy

    PB - Springer-Verlag London Ltd.

    CY - Berlin Germany

    ER -

    Mears C, Niven T, Jackson M, Wallace M. Proving symmetries by model transformation. In Lee J, editor, Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming. Berlin Germany: Springer-Verlag London Ltd. 2011. p. 591 - 605