% % GENERATED FROM http://acme.able.cs.cmu.edu % by : anonymous % IP : ec2-18-188-175-66.us-east-2.compute.amazonaws.com % at : Thu, 21 Nov 2024 23:41:07 -0500 GMT % % Selection : Publication #226 %
@Article{Delisle1990, AUTHOR = {Delisle, Norman and Garlan, David}, TITLE = {A Formal Specification of an Oscilloscope}, YEAR = {1990}, MONTH = {September}, JOURNAL = {IEEE Software}, VOLUME = {7}, NUMBER = {5} }