%0 Journal Article %1 journals/tc/Milne91 %A Milne, George J. %D 1991 %J IEEE Trans. Computers %K dblp %N 7 %P 811-826 %T The Formal Description and Verification of Hardware Timing. %U http://dblp.uni-trier.de/db/journals/tc/tc40.html#Milne91 %V 40

@article{journals/tc/Milne91, added-at = {2019-10-19T00:00:00.000+0200}, author = {Milne, George J.}, biburl = {https://www.bibsonomy.org/bibtex/24208252bde3e2434db81df8b54b0f595/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/12.83619}, interhash = {44bc4bc55654b72cf333ad61a630ace2}, intrahash = {4208252bde3e2434db81df8b54b0f595}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 7, pages = {811-826}, timestamp = {2019-10-22T12:24:23.000+0200}, title = {The Formal Description and Verification of Hardware Timing.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc40.html#Milne91}, volume = 40, year = 1991 }