%
% GENERATED FROM http://acme.able.cs.cmu.edu
%    by   : anonymous
%    IP   : ec2-18-221-55-135.us-east-2.compute.amazonaws.com
%    at   : Sat, 20 Jul 2024 15:21:45 -0400 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}
}