%0 Conference Paper %1 conf/adaEurope/Cheng06 %A Cheng, Jingde %B Ada-Europe %D 2006 %E Pinho, Luís Miguel %E Harbour, Michael González %I Springer %K dblp %P 167-178 %T Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems. %U http://dblp.uni-trier.de/db/conf/adaEurope/adaEurope2006.html#Cheng06 %V 4006 %@ 3-540-34663-5

@inproceedings{conf/adaEurope/Cheng06, added-at = {2017-05-26T00:00:00.000+0200}, author = {Cheng, Jingde}, biburl = {https://www.bibsonomy.org/bibtex/28bdc5b90f5e2f8df64690a7d85ae53a4/dblp}, booktitle = {Ada-Europe}, crossref = {conf/adaEurope/2006}, editor = {Pinho, Luís Miguel and Harbour, Michael González}, ee = {https://doi.org/10.1007/11767077_14}, interhash = {1a2274a70403b8aa5a75bf1af1f249e4}, intrahash = {8bdc5b90f5e2f8df64690a7d85ae53a4}, isbn = {3-540-34663-5}, keywords = {dblp}, pages = {167-178}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:00:20.000+0200}, title = {Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/conf/adaEurope/adaEurope2006.html#Cheng06}, volume = 4006, year = 2006 }