Paola Inverardi, Sebastián Uchitel
Proving Deadlock Freedom in Component-Based Programming
FASE, 2001.
@inproceedings{FASE-2001-InverardiU, author = "Paola Inverardi and Sebastián Uchitel", booktitle = "{Proceedings of the Fourth International Conference on Fundamental Approaches to Software Engineering}", doi = "10.1007/3-540-45314-8_6", isbn = "3-540-41863-6", pages = "60--75", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Proving Deadlock Freedom in Component-Based Programming}", volume = 2029, year = 2001, }