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