%0 Journal Article %1 journals/tc/Abbott83 %A Abbott, Curtis %D 1983 %J IEEE Trans. Computers %K dblp %N 8 %P 770-774 %T A Symbolic Simulator for Microprogram Development. %U http://dblp.uni-trier.de/db/journals/tc/tc32.html#Abbott83 %V 32

@article{journals/tc/Abbott83, added-at = {2015-12-22T00:00:00.000+0100}, author = {Abbott, Curtis}, biburl = {https://www.bibsonomy.org/bibtex/201ef24e04a037329701ef0a94fd19cc4/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TC.1983.1676320}, interhash = {159e309948f3d3dd3aade6f76b53d8aa}, intrahash = {01ef24e04a037329701ef0a94fd19cc4}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 8, pages = {770-774}, timestamp = {2015-12-24T12:08:05.000+0100}, title = {A Symbolic Simulator for Microprogram Development.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc32.html#Abbott83}, volume = 32, year = 1983 }