Beata Sarna-Starosta, R. E. Kurt Stirewalt, Laura K. Dillon
A Model-based Design-for-Verification Approach to Checking for Deadlock in Multi-threaded Applications
SEKE, 2006.
@inproceedings{SEKE-2006-Sarna-StarostaSD,
author = "Beata Sarna-Starosta and R. E. Kurt Stirewalt and Laura K. Dillon",
booktitle = "{Proceedings of the 18th International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-18-7",
pages = "120--125",
title = "{A Model-based Design-for-Verification Approach to Checking for Deadlock in Multi-threaded Applications}",
year = 2006,
}