Temporal Logic as Filtering (bibtex)
by Alena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu
Reference:
Temporal Logic as FilteringAlena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu19th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016, Proceedings (Satinder P. Singh, Shaul Markovitch, eds.), pages 11–20, 2016.
Bibtex Entry:
@inproceedings{DBLP:conf/hscc/Rodionova16,
    author    = {Alena Rodionova and Ezio Bartocci and
    Dejan Nickovic and Radu Grosu},
    editor    = {Satinder P. Singh and
    Shaul Markovitch},
    title     = {Temporal Logic as Filtering},
    booktitle = {19th ACM International Conference on Hybrid
    Systems: Computation and Control, {HSCC} 2016, Vienna, Austria,
    April 12-14, 2016, Proceedings},
    year      = {2016},
    pages     = {11--20},
    url       =
    {http://dl.acm.org/ft_gateway.cfm?id=2883839&ftid=1708152&dwn=1&CFID=756260696&CFTOKEN=97584112},
    biburl    =
    {http://dl.acm.org/downformats.cfm?id=2883839&parent_id=2883817&expformat=bibtex&CFID=756260696&CFTOKEN=97584112},
}
Powered by bibtexbrowser