%0 Journal Article %1 journals/tse/JovanovicLR15 %A Jovanovic, Aleksandra %A Lime, Didier %A Roux, Olivier H. %D 2015 %J IEEE Trans. Software Eng. %K dblp %N 5 %P 445-461 %T Integer Parameter Synthesis for Real-Time Systems. %U http://dblp.uni-trier.de/db/journals/tse/tse41.html#JovanovicLR15 %V 41

@article{journals/tse/JovanovicLR15, added-at = {2023-06-26T00:00:00.000+0200}, author = {Jovanovic, Aleksandra and Lime, Didier and Roux, Olivier H.}, biburl = {https://www.bibsonomy.org/bibtex/2524c82df4c33b2d09984acb62ecec4b9/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2014.2357445}, interhash = {99671fc95d4438c001725dd8c5da9960}, intrahash = {524c82df4c33b2d09984acb62ecec4b9}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 5, pages = {445-461}, timestamp = {2024-04-08T21:08:45.000+0200}, title = {Integer Parameter Synthesis for Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse41.html#JovanovicLR15}, volume = 41, year = 2015 }