%0 Journal Article %1 journals/algorithms/SantoneV14 %A Santone, Antonella %A Vaglini, Gigliola %D 2014 %J Algorithms %K dblp %N 3 %P 339-362 %T Model Checking Properties on Reduced Trace Systems. %U http://dblp.uni-trier.de/db/journals/algorithms/algorithms7.html#SantoneV14 %V 7

@article{journals/algorithms/SantoneV14, added-at = {2018-08-14T00:00:00.000+0200}, author = {Santone, Antonella and Vaglini, Gigliola}, biburl = {https://www.bibsonomy.org/bibtex/219a7fec2ff1982f14fad40f7b2808195/dblp}, ee = {https://doi.org/10.3390/a7030339}, interhash = {d004d3ca82c13cba76a5060b1863f085}, intrahash = {19a7fec2ff1982f14fad40f7b2808195}, journal = {Algorithms}, keywords = {dblp}, number = 3, pages = {339-362}, timestamp = {2018-08-15T11:47:44.000+0200}, title = {Model Checking Properties on Reduced Trace Systems.}, url = {http://dblp.uni-trier.de/db/journals/algorithms/algorithms7.html#SantoneV14}, volume = 7, year = 2014 }