%0 Journal Article %1 journals/ipl/BoichutH08 %A Boichut, Yohan %A Héam, Pierre-Cyrille %D 2008 %J Inf. Process. Lett. %K dblp %N 1 %P 1-2 %T A theoretical limit for safety verification techniques with regular fix-point computations. %U http://dblp.uni-trier.de/db/journals/ipl/ipl108.html#BoichutH08 %V 108

@article{journals/ipl/BoichutH08, added-at = {2009-01-14T00:00:00.000+0100}, author = {Boichut, Yohan and Héam, Pierre-Cyrille}, biburl = {https://www.bibsonomy.org/bibtex/2eb1c683349c8c978bba4ca2e5b1fedc2/dblp}, date = {2009-01-14}, description = {dblp}, ee = {http://dx.doi.org/10.1016/j.ipl.2008.03.012}, interhash = {a75be62d3515504cb98c64302f7d3bf6}, intrahash = {eb1c683349c8c978bba4ca2e5b1fedc2}, journal = {Inf. Process. Lett.}, keywords = {dblp}, number = 1, pages = {1-2}, timestamp = {2009-01-15T11:33:49.000+0100}, title = {A theoretical limit for safety verification techniques with regular fix-point computations.}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl108.html#BoichutH08}, volume = 108, year = 2008 }