%0 Journal Article %1 journals/isci/FrancescoSV07 %A Francesco, Nicoletta De %A Santone, Antonella %A Vaglini, Gigliola %D 2007 %J Inf. Sci. %K dblp %N 1 %P 299-311 %T A user-friendly interface to specify temporal properties of concurrent systems. %U http://dblp.uni-trier.de/db/journals/isci/isci177.html#FrancescoSV07 %V 177

@article{journals/isci/FrancescoSV07, added-at = {2006-12-21T00:00:00.000+0100}, author = {Francesco, Nicoletta De and Santone, Antonella and Vaglini, Gigliola}, biburl = {https://www.bibsonomy.org/bibtex/2e55be5a1183ebe7da5c8c21d17eb631d/dblp}, date = {2006-12-21}, description = {dblp}, ee = {http://dx.doi.org/10.1016/j.ins.2006.03.008}, interhash = {7679da7fa7ff645a9a69ec16371ade1a}, intrahash = {e55be5a1183ebe7da5c8c21d17eb631d}, journal = {Inf. Sci.}, keywords = {dblp}, number = 1, pages = {299-311}, timestamp = {2006-12-21T00:00:00.000+0100}, title = {A user-friendly interface to specify temporal properties of concurrent systems.}, url = {http://dblp.uni-trier.de/db/journals/isci/isci177.html#FrancescoSV07}, volume = 177, year = 2007 }