%0 Journal Article %1 journals/tc/HoltS81 %A Holt, Craig S. %A Smith, James E. %D 1981 %J IEEE Trans. Computers %K dblp %N 9 %P 679-690 %T Diagnosis of Systems with Asymmetric Invalidation. %U http://dblp.uni-trier.de/db/journals/tc/tc30.html#HoltS81 %V 30

@article{journals/tc/HoltS81, added-at = {2015-12-22T00:00:00.000+0100}, author = {Holt, Craig S. and Smith, James E.}, biburl = {https://www.bibsonomy.org/bibtex/2170437d6b84b56da7216af044310c480/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TC.1981.1675868}, interhash = {253bf2531cef76d3b6de37ca095ca9f3}, intrahash = {170437d6b84b56da7216af044310c480}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 9, pages = {679-690}, timestamp = {2015-12-24T12:06:57.000+0100}, title = {Diagnosis of Systems with Asymmetric Invalidation.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc30.html#HoltS81}, volume = 30, year = 1981 }