%0 Journal Article %1 journals/software/Xu03 %A Xu, Jia %D 2003 %J IEEE Software %K dblp %N 4 %P 34-41 %T Making Software Timing Properties Easier to Inspect and Verify. %U http://dblp.uni-trier.de/db/journals/software/software20.html#Xu03 %V 20

@article{journals/software/Xu03, added-at = {2016-01-12T00:00:00.000+0100}, author = {Xu, Jia}, biburl = {https://www.bibsonomy.org/bibtex/2f452eb00cf21513379eefbbb9c8f9044/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/MS.2003.1207452}, interhash = {0923f88850b1204a62f018b0aa505548}, intrahash = {f452eb00cf21513379eefbbb9c8f9044}, journal = {IEEE Software}, keywords = {dblp}, number = 4, pages = {34-41}, timestamp = {2016-01-13T11:42:42.000+0100}, title = {Making Software Timing Properties Easier to Inspect and Verify.}, url = {http://dblp.uni-trier.de/db/journals/software/software20.html#Xu03}, volume = 20, year = 2003 }