% % GENERATED FROM http://acme.able.cs.cmu.edu % by : anonymous % IP : 216.73.216.237 % at : Mon, 16 Jun 2025 00:29:26 -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} }