%0 Conference Paper %1 conf/tacas/TorlakJ07 %A Torlak, Emina %A Jackson, Daniel %B TACAS %D 2007 %E Grumberg, Orna %E Huth, Michael %I Springer %K relational %P 632-647 %T Kodkod: A Relational Model Finder. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2007.html#TorlakJ07 %V 4424 %@ 978-3-540-71208-4

@inproceedings{conf/tacas/TorlakJ07, added-at = {2007-08-15T11:23:31.000+0200}, author = {Torlak, Emina and Jackson, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2ff7b0b18e74fbcc8b56fd888324d6245/wnpxrz}, booktitle = {TACAS}, crossref = {conf/tacas/2007}, date = {2007-07-31}, description = {dblp}, editor = {Grumberg, Orna and Huth, Michael}, ee = {http://dx.doi.org/10.1007/978-3-540-71209-1_49}, interhash = {ab9c4e48fab9ad0cf6449ddcc5ef73f0}, intrahash = {ff7b0b18e74fbcc8b56fd888324d6245}, isbn = {978-3-540-71208-4}, keywords = {relational}, pages = {632-647}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2007-08-15T11:23:32.000+0200}, title = {Kodkod: A Relational Model Finder.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2007.html#TorlakJ07}, volume = 4424, year = 2007 }