%0 Conference Paper %1 conf/date/SelyuninNBNG16 %A Selyunin, Konstantin %A Nguyen, Thang %A Bartocci, Ezio %A Nickovic, Dejan %A Grosu, Radu %B DATE %D 2016 %E Fanucci, Luca %E Teich, Jürgen %I IEEE %K dblp %P 924-929 %T Monitoring of MTL specifications with IBM's spiking-neuron model. %U http://dblp.uni-trier.de/db/conf/date/date2016.html#SelyuninNBNG16 %@ 978-3-9815-3707-9

@inproceedings{conf/date/SelyuninNBNG16, added-at = {2016-05-03T00:00:00.000+0200}, author = {Selyunin, Konstantin and Nguyen, Thang and Bartocci, Ezio and Nickovic, Dejan and Grosu, Radu}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ed29eef4adea1c1a50f804ba9f542ed6/dblp}, booktitle = {DATE}, crossref = {conf/date/2016}, editor = {Fanucci, Luca and Teich, Jürgen}, ee = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=7459440}, interhash = {7f915e21e8273a49bd7aa1d3226cd185}, intrahash = {ed29eef4adea1c1a50f804ba9f542ed6}, isbn = {978-3-9815-3707-9}, keywords = {dblp}, pages = {924-929}, publisher = {IEEE}, timestamp = {2016-05-04T09:32:36.000+0200}, title = {Monitoring of MTL specifications with IBM's spiking-neuron model.}, url = {http://dblp.uni-trier.de/db/conf/date/date2016.html#SelyuninNBNG16}, year = 2016 }