%0 Journal Article %1 frias_07_efficient %A Frias, Marcelo %A Pombo, Carlos L. %A Galeotti, Juan P. %A Aguirre, Nazareno %C New York, NY, USA %D 2007 %I ACM %J ACM Trans. Softw. Eng. Methodol. %K 2007 \_hardcopy \_pdf analysis %N 1 %P 1--34 %R http://dx.doi.org/10.1145/1314493.1314497 %T Efficient Analysis of DynAlloy Specifications %U http://dx.doi.org/10.1145/1314493.1314497 %V 17

@article{frias_07_efficient, added-at = {2009-03-10T04:33:12.000+0100}, address = {New York, NY, USA}, author = {Frias, Marcelo and Pombo, Carlos L. and Galeotti, Juan P. and Aguirre, Nazareno}, biburl = {https://www.bibsonomy.org/bibtex/23ef6c3441ecebb4750b72d1874602818/leonardo}, citeulike-article-id = {2707398}, doi = {http://dx.doi.org/10.1145/1314493.1314497}, interhash = {1fa2360be3f35a356e0e39d31d49c71d}, intrahash = {3ef6c3441ecebb4750b72d1874602818}, journal = {ACM Trans. Softw. Eng. Methodol.}, keywords = {2007 \_hardcopy \_pdf analysis}, month = {December}, number = 1, pages = {1--34}, posted-at = {2008-04-23 13:32:15}, priority = {4}, publisher = {ACM}, timestamp = {2009-03-10T04:33:12.000+0100}, title = {Efficient Analysis of DynAlloy Specifications}, url = {http://dx.doi.org/10.1145/1314493.1314497}, volume = 17, year = 2007 }