Arbitrary action model logic and action model synthesis

J. Hales

    Research output: Chapter in Book/Conference paperConference paper

    14 Citations (Scopus)
    Original languageEnglish
    Title of host publication2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
    Place of PublicationUS
    PublisherIEEE, Institute of Electrical and Electronics Engineers
    Pages253-262
    Volume1
    ISBN (Print)10436871
    DOIs
    Publication statusPublished - 2013
    Event2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - New Orleans, United States
    Duration: 25 Jun 201328 Jun 2013

    Conference

    Conference2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
    CountryUnited States
    CityNew Orleans
    Period25/06/1328/06/13

    Cite this