%0 Journal Article %1 journals/spe/ChicoteCG14 %A Chicote, Marcos %A Ciolek, Daniel %A Galeotti, Juan Pablo %D 2014 %J Softw., Pract. Exper. %K dblp %N 3 %P 317-334 %T Practical JFSL verification using TACO. %U http://dblp.uni-trier.de/db/journals/spe/spe44.html#ChicoteCG14 %V 44

@article{journals/spe/ChicoteCG14, added-at = {2015-05-27T00:00:00.000+0200}, author = {Chicote, Marcos and Ciolek, Daniel and Galeotti, Juan Pablo}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b54cfabff712aff757f5d720396a4930/dblp}, ee = {http://dx.doi.org/10.1002/spe.2237}, interhash = {822bfb5e599cc1ae857d3b127ef499e7}, intrahash = {b54cfabff712aff757f5d720396a4930}, journal = {Softw., Pract. Exper.}, keywords = {dblp}, number = 3, pages = {317-334}, timestamp = {2016-02-02T03:20:00.000+0100}, title = {Practical JFSL verification using TACO.}, url = {http://dblp.uni-trier.de/db/journals/spe/spe44.html#ChicoteCG14}, volume = 44, year = 2014 }