%0 Conference Paper %1 Gawlitza+Seidl/2007/Strategy %A Gawlitza, Thomas %A Seidl, Helmut %B ESOP %D 2007 %K imported %P 300--315 %T Precise Fixpoint Computation Through Strategy Iteration %V 4421

@inproceedings{Gawlitza+Seidl/2007/Strategy, added-at = {2009-05-20T01:29:36.000+0200}, author = {Gawlitza, Thomas and Seidl, Helmut}, biburl = {https://www.bibsonomy.org/bibtex/2716b7bfca1870cead3e375c07258a930/sriram0339}, booktitle = {ESOP}, description = {First cut database}, interhash = {5b8706f19509d5cb932ab46404fb5648}, intrahash = {716b7bfca1870cead3e375c07258a930}, keywords = {imported}, pages = {300--315}, series = {Lecture Notes in Computer Science}, timestamp = {2009-05-20T01:29:37.000+0200}, title = {Precise Fixpoint Computation Through Strategy Iteration}, volume = 4421, year = 2007 }