%0 Journal Article %1 journals/software/DeliseG90 %A Delisle, Norman M. %A Garlan, David %D 1990 %J IEEE Software %K dblp %N 5 %P 29-36 %T A Formal Specification of an Oscilloscope. %U http://dblp.uni-trier.de/db/journals/software/software7.html#DeliseG90 %V 7

@article{journals/software/DeliseG90, added-at = {2016-01-12T00:00:00.000+0100}, author = {Delisle, Norman M. and Garlan, David}, biburl = {https://www.bibsonomy.org/bibtex/2db9a35a4f69466d81b2f8d8d0d2073af/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/52.57890}, interhash = {c20d1fc371e32fdf301eef5e7a596ce2}, intrahash = {db9a35a4f69466d81b2f8d8d0d2073af}, journal = {IEEE Software}, keywords = {dblp}, number = 5, pages = {29-36}, timestamp = {2016-01-13T11:37:46.000+0100}, title = {A Formal Specification of an Oscilloscope.}, url = {http://dblp.uni-trier.de/db/journals/software/software7.html#DeliseG90}, volume = 7, year = 1990 }