Aditya Rajeev Kulkarni, S. Ramesh
Static Slicing of Reactive Programs
SCAM, 2003.
@inproceedings{SCAM-2003-KulkarniR, author = "Aditya Rajeev Kulkarni and S. Ramesh", booktitle = "{Proceedings of the Third International Workshop on Source Code Analysis and Manipulation}", doi = "10.1109/SCAM.2003.1238036", isbn = "0-7695-2005-7", pages = "98--107", publisher = "{IEEE Computer Society}", title = "{Static Slicing of Reactive Programs}", year = 2003, }