%0 Journal Article %1 journals/tocl/BustanG03 %A Bustan, Doron %A Grumberg, Orna %D 2003 %J ACM Trans. Comput. Log. %K dblp %N 2 %P 181-206 %T Simulation-based minimazation. %U http://dblp.uni-trier.de/db/journals/tocl/tocl4.html#BustanG03 %V 4

@article{journals/tocl/BustanG03, added-at = {2018-11-06T00:00:00.000+0100}, author = {Bustan, Doron and Grumberg, Orna}, biburl = {https://www.bibsonomy.org/bibtex/2c5800087eb9b775bcfd11f6ebb8d496a/dblp}, ee = {https://doi.org/10.1145/635499.635502}, interhash = {2aeda0b11f4723126e30bbce93f37249}, intrahash = {c5800087eb9b775bcfd11f6ebb8d496a}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 2, pages = {181-206}, timestamp = {2018-11-07T12:18:12.000+0100}, title = {Simulation-based minimazation.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl4.html#BustanG03}, volume = 4, year = 2003 }