Combining Refinement and Signal-Temporal Logic for Biological Systems

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

Original language	Undefined/Unknown
Title of host publication	Intelligent Computer Mathematics
Publisher	Springer
Pages	333–339
Publication status	Published - 2017
MoE publication type	A4 Article in a conference publication
Event	conference - 2nd International Conference on Computer Science and Artificial Intelligence Duration: 1 Jan 2018 → …

Conference	conference
Period	01/01/18 → …

Access to Document

@inproceedings{e41be8b8a8864683ad0fe0e37a225537,

title = "Combining Refinement and Signal-Temporal Logic for Biological Systems",

author = "Sanwal, {Muhammad Usman} and Umair Siddique",

year = "2017",

language = "Odefinierat/ok{\"a}nt",

pages = "333–339",

booktitle = "Intelligent Computer Mathematics",

publisher = "Springer",

note = "null ; Conference date: 01-01-2018",

}