%0 Journal Article %1 journals/tcs/GerdsmeierC01 %A Gerdsmeier, Thorsten %A Cardell-Oliver, Rachel %D 2001 %J Electron. Notes Theor. Comput. Sci. %K %P 143-157 %T Analysis of Scheduling Behaviour using Generic Timed Automata. %U http://dblp.uni-trier.de/db/journals/tcs/entcs42.html#GerdsmeierC01 %V 42

@article{journals/tcs/GerdsmeierC01, added-at = {2023-12-13T04:55:41.000+0100}, author = {Gerdsmeier, Thorsten and Cardell-Oliver, Rachel}, biburl = {https://www.bibsonomy.org/bibtex/2680a6fb32cde641ef8d08770f9624fe4/admin}, ee = {https://doi.org/10.1016/S1571-0661(04)80883-1}, interhash = {9c2b6c3f8def010474cbfa0cf257e7d3}, intrahash = {680a6fb32cde641ef8d08770f9624fe4}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {}, pages = {143-157}, timestamp = {2023-12-13T04:55:41.000+0100}, title = {Analysis of Scheduling Behaviour using Generic Timed Automata.}, url = {http://dblp.uni-trier.de/db/journals/tcs/entcs42.html#GerdsmeierC01}, volume = 42, year = 2001 }