%0 Journal Article %1 journals/corr/abs-1712-04162 %A Narizzano, Massimo %A Pulina, Luca %A Tacchella, Armando %A Vuotto, Simone %D 2017 %J CoRR %K dblp %T Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. %U http://dblp.uni-trier.de/db/journals/corr/corr1712.html#abs-1712-04162 %V abs/1712.04162

@article{journals/corr/abs-1712-04162, added-at = {2018-08-13T00:00:00.000+0200}, author = {Narizzano, Massimo and Pulina, Luca and Tacchella, Armando and Vuotto, Simone}, biburl = {https://www.bibsonomy.org/bibtex/22b3edeacb61ce166382bd45089872638/dblp}, ee = {http://arxiv.org/abs/1712.04162}, interhash = {98625c2321e316c6a45dc48817589877}, intrahash = {2b3edeacb61ce166382bd45089872638}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T13:59:59.000+0200}, title = {Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1712.html#abs-1712-04162}, volume = {abs/1712.04162}, year = 2017 }