%0 Journal Article %1 EvolVerifBounds1999 %A Gross, Hans-Gerhard %A Jones, Bryan %A Eyres, David %B Colloquium on Applicable Modelling, Verification and Analysis Techniques for Real-Time Systems. IEE %D 1999 %K bounds evolutionary mgr todo_tags %T Evolutionary algorithms for the verification of execution time bounds for real-time software %U http://www.comp.glam.ac.uk/pages/staff/hggross/IEE9901.ps

@article{EvolVerifBounds1999, added-at = {2009-07-16T10:29:35.000+0200}, author = {Gross, Hans-Gerhard and Jones, Bryan and Eyres, David}, biburl = {https://www.bibsonomy.org/bibtex/2c9ec8cf838af1256a6e1ad7487e90a2e/gwpl}, booktitle = {Colloquium on Applicable Modelling, Verification and Analysis Techniques for Real-Time Systems. IEE}, interhash = {6e3e9ac509b564322caa48d137884f29}, intrahash = {c9ec8cf838af1256a6e1ad7487e90a2e}, keywords = {bounds evolutionary mgr todo_tags}, timestamp = {2009-07-16T10:29:35.000+0200}, title = {Evolutionary algorithms for the verification of execution time bounds for real-time software}, url = {http://www.comp.glam.ac.uk/pages/staff/hggross/IEE9901.ps}, year = 1999 }