%0 Conference Paper %1 conf/etfa/KazakovB06 %A Kazakov, Dimitar %A Bate, Iain %B ETFA %D 2006 %I IEEE %K dblp %P 421-428 %T Towards New Methods for Developing Real-Time Systems: Automatically Deriving Loop Bounds Using Machine Learning. %U http://dblp.uni-trier.de/db/conf/etfa/etfa2006.html#KazakovB06

@inproceedings{conf/etfa/KazakovB06, added-at = {2007-07-04T00:00:00.000+0200}, author = {Kazakov, Dimitar and Bate, Iain}, biburl = {https://www.bibsonomy.org/bibtex/26771f5d6628c847372a926834d28fc1c/dblp}, booktitle = {ETFA}, crossref = {conf/etfa/2006}, date = {2007-07-04}, description = {dblp}, ee = {http://dx.doi.org/10.1109/ETFA.2006.355425}, interhash = {8f188992d2e3d502125e24a629bae696}, intrahash = {6771f5d6628c847372a926834d28fc1c}, keywords = {dblp}, pages = {421-428}, publisher = {IEEE}, timestamp = {2007-07-16T13:40:53.000+0200}, title = {Towards New Methods for Developing Real-Time Systems: Automatically Deriving Loop Bounds Using Machine Learning.}, url = {http://dblp.uni-trier.de/db/conf/etfa/etfa2006.html#KazakovB06}, year = 2006 }