%0 Journal Article %1 journals/ipl/AndersonMR01 %A Anderson, James H. %A Moir, Mark %A Ramamurthy, Srikanth %D 2001 %J Inf. Process. Lett. %K dblp %N 2-4 %P 63-70 %T A simple proof technique for priority-scheduled systems. %U http://dblp.uni-trier.de/db/journals/ipl/ipl77.html#AndersonMR01 %V 77

@article{journals/ipl/AndersonMR01, added-at = {2003-11-20T00:00:00.000+0100}, author = {Anderson, James H. and Moir, Mark and Ramamurthy, Srikanth}, biburl = {https://www.bibsonomy.org/bibtex/237ed1f8cc37e9a79ea3962ebb75d050d/dblp}, date = {2003-11-20}, description = {dblp}, ee = {http://dx.doi.org/10.1016/S0020-0190(00)00193-9}, interhash = {3cb2c5719544a03f95deb8bc2022f302}, intrahash = {37ed1f8cc37e9a79ea3962ebb75d050d}, journal = {Inf. Process. Lett.}, keywords = {dblp}, number = {2-4}, pages = {63-70}, timestamp = {2003-11-20T00:00:00.000+0100}, title = {A simple proof technique for priority-scheduled systems.}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl77.html#AndersonMR01}, volume = 77, year = 2001 }