%0 Journal Article %1 journals/fac/LermerFH03 %A Lermer, Karl %A Fidge, Colin J. %A Hayes, Ian J. %D 2003 %J Formal Aspects Comput. %K dblp %N 4 %P 319-348 %T Linear Approximation of Execution-Time Constraints. %U http://dblp.uni-trier.de/db/journals/fac/fac15.html#LermerFH03 %V 15

@article{journals/fac/LermerFH03, added-at = {2022-05-09T00:00:00.000+0200}, author = {Lermer, Karl and Fidge, Colin J. and Hayes, Ian J.}, biburl = {https://www.bibsonomy.org/bibtex/28d29480aa5ddf043e3dad23db0026766/dblp}, ee = {https://doi.org/10.1007/s00165-003-0019-0}, interhash = {05e80a87da2db4f418d71e4003b73538}, intrahash = {8d29480aa5ddf043e3dad23db0026766}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 4, pages = {319-348}, timestamp = {2024-04-09T05:37:43.000+0200}, title = {Linear Approximation of Execution-Time Constraints.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac15.html#LermerFH03}, volume = 15, year = 2003 }