%
% 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
%


<tr><td><table><tr><td>

@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}
}