On Temporal Logic and Signal Processing. Donzé, A., Maler, O., Bartocci, E., Nickovic, D., Grosu, R., & Smolka, S. In ATVA'12, pages 92-106, 2012. Springer. bibtex @inProceedings{
title = {On Temporal Logic and Signal Processing},
type = {inProceedings},
year = {2012},
identifiers = {[object Object]},
pages = {92-106},
publisher = {Springer},
id = {2478e744-0508-36e0-9d2d-da89ab9c7fb9},
created = {2017-04-26T09:06:20.374Z},
file_attached = {false},
profile_id = {93e9c71a-776d-397a-8da2-55f5d4b0425c},
group_id = {337127a6-4a46-3af3-a559-f76746200fef},
last_modified = {2017-04-26T09:06:20.374Z},
read = {false},
starred = {false},
authored = {false},
confirmed = {true},
hidden = {false},
citation_key = {TFL},
source_type = {inproceedings},
bibtype = {inProceedings},
author = {Donzé, Alexandre and Maler, Oded and Bartocci, Ezio and Nickovic, Dejan and Grosu, Radu and Smolka, Scott},
booktitle = {ATVA'12}
}
Downloads: 0
{"_id":"8KJZEYg86SD6CR3Gr","bibbaseid":"donz-maler-bartocci-nickovic-grosu-smolka-ontemporallogicandsignalprocessing-2012","downloads":0,"creationDate":"2015-07-05T11:05:40.046Z","title":"On Temporal Logic and Signal Processing","author_short":["Donzé, A.","Maler, O.","Bartocci, E.","Nickovic, D.","Grosu, R.","Smolka, S."],"year":2012,"bibtype":"inProceedings","biburl":null,"bibdata":{"title":"On Temporal Logic and Signal Processing","type":"inProceedings","year":"2012","identifiers":"[object Object]","pages":"92-106","publisher":"Springer","id":"2478e744-0508-36e0-9d2d-da89ab9c7fb9","created":"2017-04-26T09:06:20.374Z","file_attached":false,"profile_id":"93e9c71a-776d-397a-8da2-55f5d4b0425c","group_id":"337127a6-4a46-3af3-a559-f76746200fef","last_modified":"2017-04-26T09:06:20.374Z","read":false,"starred":false,"authored":false,"confirmed":"true","hidden":false,"citation_key":"TFL","source_type":"inproceedings","bibtype":"inProceedings","author":"Donzé, Alexandre and Maler, Oded and Bartocci, Ezio and Nickovic, Dejan and Grosu, Radu and Smolka, Scott","booktitle":"ATVA'12","bibtex":"@inProceedings{\n title = {On Temporal Logic and Signal Processing},\n type = {inProceedings},\n year = {2012},\n identifiers = {[object Object]},\n pages = {92-106},\n publisher = {Springer},\n id = {2478e744-0508-36e0-9d2d-da89ab9c7fb9},\n created = {2017-04-26T09:06:20.374Z},\n file_attached = {false},\n profile_id = {93e9c71a-776d-397a-8da2-55f5d4b0425c},\n group_id = {337127a6-4a46-3af3-a559-f76746200fef},\n last_modified = {2017-04-26T09:06:20.374Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n citation_key = {TFL},\n source_type = {inproceedings},\n bibtype = {inProceedings},\n author = {Donzé, Alexandre and Maler, Oded and Bartocci, Ezio and Nickovic, Dejan and Grosu, Radu and Smolka, Scott},\n booktitle = {ATVA'12}\n}","author_short":["Donzé, A.","Maler, O.","Bartocci, E.","Nickovic, D.","Grosu, R.","Smolka, S."],"bibbaseid":"donz-maler-bartocci-nickovic-grosu-smolka-ontemporallogicandsignalprocessing-2012","role":"author","urls":{},"downloads":0},"search_terms":["temporal","logic","signal","processing","donzé","maler","bartocci","nickovic","grosu","smolka"],"keywords":[],"authorIDs":[]}