%0 Journal Article %1 journals/entcs/Momtahan05 %A Momtahan, Lee %D 2005 %J Electron. Notes Theor. Comput. Sci. %K %N 6 %P 37-52 %T Towards a Small Model Theorem for Data Independent Systems in Alloy. %U http://dblp.uni-trier.de/db/journals/entcs/entcs128.html#Momtahan05 %V 128

@article{journals/entcs/Momtahan05, added-at = {2023-12-13T01:45:47.000+0100}, author = {Momtahan, Lee}, biburl = {https://www.bibsonomy.org/bibtex/2eb18cdbaa752741ee7d9f33a3941163f/admin}, ee = {https://doi.org/10.1016/j.entcs.2005.04.003}, interhash = {76166542f6c0255c84180479c83c898b}, intrahash = {eb18cdbaa752741ee7d9f33a3941163f}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {}, number = 6, pages = {37-52}, timestamp = {2023-12-13T01:45:47.000+0100}, title = {Towards a Small Model Theorem for Data Independent Systems in Alloy.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs128.html#Momtahan05}, volume = 128, year = 2005 }