Computing Publications

Publications Home » Proving deadlock freedom in compo...

Proving deadlock freedom in component-based programming

Sebastian Uchitel

Conference or Workshop Paper
Fundamental approaches to software engineering; FASE 2001
2001
Springer
ISSN 0302-9743
PDF of full publication (278 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.