%0 Conference Paper %1 conf/atva/KwonL04 %A Kwon, Gihwon %A Lee, Taehoon %B ATVA %D 2004 %E Wang, Farn %I Springer %K dblp %P 491-494 %T Solving Box-Pushing Games via Model Checking with Optimizations. %U http://dblp.uni-trier.de/db/conf/atva/atva2004.html#KwonL04 %V 3299 %@ 3-540-23610-4

@inproceedings{conf/atva/KwonL04, added-at = {2017-05-21T00:00:00.000+0200}, author = {Kwon, Gihwon and Lee, Taehoon}, biburl = {https://www.bibsonomy.org/bibtex/2239d78ea0afd789eb303896901e78a34/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2004}, editor = {Wang, Farn}, ee = {https://doi.org/10.1007/978-3-540-30476-0_43}, interhash = {22ff1c9346b7cc05a235ea409171cc58}, intrahash = {239d78ea0afd789eb303896901e78a34}, isbn = {3-540-23610-4}, keywords = {dblp}, pages = {491-494}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:01:10.000+0200}, title = {Solving Box-Pushing Games via Model Checking with Optimizations.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2004.html#KwonL04}, volume = 3299, year = 2004 }