%0 Journal Article %1 journals/scp/KwakLS02 %A Kwak, Hee-Hwan %A Lee, Insup %A Sokolsky, Oleg %D 2002 %J Sci. Comput. Program. %K dblp %N 1 %P 49-60 %T Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP. %U http://dblp.uni-trier.de/db/journals/scp/scp42.html#KwakLS02 %V 42

@article{journals/scp/KwakLS02, added-at = {2023-01-26T00:00:00.000+0100}, author = {Kwak, Hee-Hwan and Lee, Insup and Sokolsky, Oleg}, biburl = {https://www.bibsonomy.org/bibtex/2179c96112593378f5a500d039a32a89f/dblp}, ee = {https://doi.org/10.1016/S0167-6423(01)00029-6}, interhash = {95276826a1b3464cab1fa020906513c3}, intrahash = {179c96112593378f5a500d039a32a89f}, journal = {Sci. Comput. Program.}, keywords = {dblp}, number = 1, pages = {49-60}, timestamp = {2024-04-09T05:27:38.000+0200}, title = {Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp42.html#KwakLS02}, volume = 42, year = 2002 }