%0 Journal Article %1 journals/tse/Xu03 %A Xu, Jia %D 2003 %J IEEE Trans. Software Eng. %K dblp %N 8 %P 705-720 %T On Inspection and Verification of Software with Timing Requirements. %U http://dblp.uni-trier.de/db/journals/tse/tse29.html#Xu03 %V 29

@article{journals/tse/Xu03, added-at = {2015-12-10T00:00:00.000+0100}, author = {Xu, Jia}, biburl = {https://www.bibsonomy.org/bibtex/253853d6cc54c305c18cdaf914149f3bc/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2003.1223645}, interhash = {fe8012ff06ce794ec4ff59061b3c0787}, intrahash = {53853d6cc54c305c18cdaf914149f3bc}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 8, pages = {705-720}, timestamp = {2015-12-12T11:46:51.000+0100}, title = {On Inspection and Verification of Software with Timing Requirements.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse29.html#Xu03}, volume = 29, year = 2003 }