%0 Conference Paper %1 conf/pldi/KishonHC91 %A Kishon, Amir %A Hudak, Paul %A Consel, Charles %B PLDI %D 1991 %E Wise, David S. %I ACM %K dblp %P 338-352 %T Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors. %U http://dblp.uni-trier.de/db/conf/pldi/pldi91.html#KishonHC91 %@ 0-89791-428-7

@inproceedings{conf/pldi/KishonHC91, added-at = {2021-07-09T00:00:00.000+0200}, author = {Kishon, Amir and Hudak, Paul and Consel, Charles}, biburl = {https://www.bibsonomy.org/bibtex/2182e89a6f596088cb5a92e95bf5775ef/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/1991}, editor = {Wise, David S.}, ee = {https://doi.org/10.1145/113446.113474}, interhash = {b40f8606d989c218aff96b5c5dcfee33}, intrahash = {182e89a6f596088cb5a92e95bf5775ef}, isbn = {0-89791-428-7}, keywords = {dblp}, pages = {338-352}, publisher = {ACM}, timestamp = {2024-04-09T18:58:51.000+0200}, title = {Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi91.html#KishonHC91}, year = 1991 }