%0 Journal Article %1 journals/ase/AutiliIP07 %A Autili, Marco %A Inverardi, Paola %A Pelliccione, Patrizio %D 2007 %J Autom. Softw. Eng. %K dblp %N 3 %P 293-340 %T Graphical scenarios for specifying temporal properties: an automated approach. %U http://dblp.uni-trier.de/db/journals/ase/ase14.html#AutiliIP07 %V 14

@article{journals/ase/AutiliIP07, added-at = {2008-02-19T00:00:00.000+0100}, author = {Autili, Marco and Inverardi, Paola and Pelliccione, Patrizio}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e658969c56f747ee71f467e57c3702d2/dblp}, ee = {http://dx.doi.org/10.1007/s10515-007-0012-6}, interhash = {895607ab547a3b86ef57959c44043a10}, intrahash = {e658969c56f747ee71f467e57c3702d2}, journal = {Autom. Softw. Eng.}, keywords = {dblp}, number = 3, pages = {293-340}, timestamp = {2016-02-02T10:13:30.000+0100}, title = {Graphical scenarios for specifying temporal properties: an automated approach.}, url = {http://dblp.uni-trier.de/db/journals/ase/ase14.html#AutiliIP07}, volume = 14, year = 2007 }