Combining Refinement and Signal-Temporal Logic for Biological Systems

Usman Sanwal, Umair Siddique

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

1 Citeringar (Scopus)

Originalspråk	Engelska
Titel på värdpublikation	Intelligent Computer Mathematics
Förlag	Springer
Sidor	333–339
ISBN (elektroniskt)	978-3-319-62075-6
DOI	https://doi.org/10.1007/978-3-319-62075-6_23
Status	Publicerad - 2017
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	conference - 2nd International Conference on Computer Science and Artificial Intelligence Varaktighet: 1 jan. 2018 → …

Namn	Lecture Notes in Computer Science
Volym	10383
ISSN (tryckt)	0302-9743

Konferens	conference
Period	01/01/18 → …

Åtkomst av dokument

@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 -