Combining Refinement and Signal-Temporal Logic for Biological Systems

Muhammad Usman Sanwal, Umair Siddique

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    Original languageUndefined/Unknown
    Title of host publicationIntelligent Computer Mathematics
    PublisherSpringer
    Pages333–339
    Publication statusPublished - 2017
    MoE publication typeA4 Article in a conference publication
    Eventconference - 2nd International Conference on Computer Science and Artificial Intelligence
    Duration: 1 Jan 2018 → …

    Conference

    Conferenceconference
    Period01/01/18 → …

    Cite this