Predictive safety analysis of concurrent programs
By
BibTeX
@inproceedings{ksenms, author = "Sen, Koushik", title = "Predictive Safety Analysis of Concurrent Programs", booktitle = "Master's thesis, Supervisor Gul Agha, University of Illinois at Urbana-Champaign, May", keywords = "formal methods, sensor networks, real-time systems, software engineering", year = "2003", }