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