%0 Conference Paper %1 conf/icfem/AguirreFPCGR08 %A Aguirre, Nazareno %A Frias, Marcelo F. %A Ponzio, Pablo %A Cardiff, Brian J. %A Galeotti, Juan P. %A Regis, Germán %B ICFEM %D 2008 %E Liu, Shaoying %E Maibaum, T. S. E. %E Araki, Keijiro %I Springer %K %P 207-225 %T Towards Abstraction for DynAlloy Specifications. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2008.html#AguirreFPCGR08 %V 5256 %@ 978-3-540-88193-3

@inproceedings{conf/icfem/AguirreFPCGR08, added-at = {2023-12-13T02:04:37.000+0100}, author = {Aguirre, Nazareno and Frias, Marcelo F. and Ponzio, Pablo and Cardiff, Brian J. and Galeotti, Juan P. and Regis, Germán}, biburl = {https://www.bibsonomy.org/bibtex/2c1da32136e346882397dd5fe040c22b2/admin}, booktitle = {ICFEM}, crossref = {conf/icfem/2008}, editor = {Liu, Shaoying and Maibaum, T. S. E. and Araki, Keijiro}, ee = {https://doi.org/10.1007/978-3-540-88194-0_14}, interhash = {7a8c9ea212eafedcd5b3c456a69cb486}, intrahash = {c1da32136e346882397dd5fe040c22b2}, isbn = {978-3-540-88193-3}, keywords = {}, pages = {207-225}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T02:04:37.000+0100}, title = {Towards Abstraction for DynAlloy Specifications.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2008.html#AguirreFPCGR08}, volume = 5256, year = 2008 }