Efficient Analysis of DynAlloy Specifications. Frias, M. F., Pombo, C. L., Galeotti, J. P., & Aguirre, N. ACM Trans. Softw. Eng. Methodol., 17(1):4:1–4:34, 2007. ![Efficient Analysis of DynAlloy Specifications [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex @article{DBLP:journals/tosem/FriasPGA07,
author = {Marcelo F. Frias and Carlos L{\'{o}}pez Pombo and Juan P. Galeotti and Nazareno Aguirre},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/journals/tosem/FriasPGA07.bib},
doi = {10.1145/1314493.1314497},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
number = {1},
pages = {4:1--4:34},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
title = {Efficient Analysis of DynAlloy Specifications},
url = {https://doi.org/10.1145/1314493.1314497},
volume = {17},
year = {2007},
Bdsk-Url-1 = {https://doi.org/10.1145/1314493.1314497},
Bdsk-Url-2 = {http://dx.doi.org/10.1145/1314493.1314497}}
Downloads: 0
{"_id":"ZWo3GJfsnst2tP2QC","bibbaseid":"frias-pombo-galeotti-aguirre-efficientanalysisofdynalloyspecifications-2007","authorIDs":["5deab0a703c11ade01000169","5deab2bf03c11ade010001b2","5deab34203c11ade010001c2","5deab80703c11ade01000259"],"author_short":["Frias, M. F.","Pombo, C. L.","Galeotti, J. P.","Aguirre, N."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Marcelo","F."],"propositions":[],"lastnames":["Frias"],"suffixes":[]},{"firstnames":["Carlos","López"],"propositions":[],"lastnames":["Pombo"],"suffixes":[]},{"firstnames":["Juan","P."],"propositions":[],"lastnames":["Galeotti"],"suffixes":[]},{"firstnames":["Nazareno"],"propositions":[],"lastnames":["Aguirre"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/journals/tosem/FriasPGA07.bib","doi":"10.1145/1314493.1314497","journal":"ACM Trans. Softw. Eng. Methodol.","number":"1","pages":"4:1–4:34","timestamp":"Tue, 06 Nov 2018 00:00:00 +0100","title":"Efficient Analysis of DynAlloy Specifications","url":"https://doi.org/10.1145/1314493.1314497","volume":"17","year":"2007","bdsk-url-1":"https://doi.org/10.1145/1314493.1314497","bdsk-url-2":"http://dx.doi.org/10.1145/1314493.1314497","bibtex":"@article{DBLP:journals/tosem/FriasPGA07,\n\tauthor = {Marcelo F. Frias and Carlos L{\\'{o}}pez Pombo and Juan P. Galeotti and Nazareno Aguirre},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/tosem/FriasPGA07.bib},\n\tdoi = {10.1145/1314493.1314497},\n\tjournal = {{ACM} Trans. Softw. Eng. Methodol.},\n\tnumber = {1},\n\tpages = {4:1--4:34},\n\ttimestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n\ttitle = {Efficient Analysis of DynAlloy Specifications},\n\turl = {https://doi.org/10.1145/1314493.1314497},\n\tvolume = {17},\n\tyear = {2007},\n\tBdsk-Url-1 = {https://doi.org/10.1145/1314493.1314497},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1145/1314493.1314497}}\n\n","author_short":["Frias, M. F.","Pombo, C. L.","Galeotti, J. P.","Aguirre, N."],"key":"DBLP:journals/tosem/FriasPGA07","id":"DBLP:journals/tosem/FriasPGA07","bibbaseid":"frias-pombo-galeotti-aguirre-efficientanalysisofdynalloyspecifications-2007","role":"author","urls":{"Paper":"https://doi.org/10.1145/1314493.1314497"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://mfis.dc.exa.unrc.edu.ar/downloads/mfis-pubs.bib","creationDate":"2019-12-06T19:48:55.609Z","downloads":0,"keywords":[],"search_terms":["efficient","analysis","dynalloy","specifications","frias","pombo","galeotti","aguirre"],"title":"Efficient Analysis of DynAlloy Specifications","year":2007,"dataSources":["CctimS4AgKgzGybH5"]}