Combining Refinement and Signal-Temporal Logic for Biological Systems

Usman Sanwal, Umair Siddique

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

1 Citation (Scopus)

Original language	English
Title of host publication	Intelligent Computer Mathematics
Publisher	Springer
Pages	333–339
ISBN (Electronic)	978-3-319-62075-6
DOIs	https://doi.org/10.1007/978-3-319-62075-6_23
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 → …

Name	Lecture Notes in Computer Science
Volume	10383
ISSN (Print)	0302-9743

Conference	conference
Period	01/01/18 → …

Access to Document

@inproceedings{e41be8b8a8864683ad0fe0e37a225537,

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

author = "Usman Sanwal and Umair Siddique",

year = "2017",

doi = "10.1007/978-3-319-62075-6_23",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "333–339",

booktitle = "Intelligent Computer Mathematics",

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

}

TY - GEN

T1 - Combining Refinement and Signal-Temporal Logic for Biological Systems

AU - Sanwal, Usman

AU - Siddique, Umair

PY - 2017

Y1 - 2017

U2 - 10.1007/978-3-319-62075-6_23

DO - 10.1007/978-3-319-62075-6_23

M3 - Conference contribution

T3 - Lecture Notes in Computer Science

SP - 333

EP - 339

BT - Intelligent Computer Mathematics

PB - Springer

T2 - conference

Y2 - 1 January 2018

ER -