A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model

Thumbnail
Metadata only
Autor(in)
West, Scott
Nanz, Sebastian
Datum
2010
Typ
    Conference Paper
Publikationsstatus
published
Externe Links
Herausgeber(in)
Meyer, Bertrand
Buchtitel
Formal methods and software engineering
Zeitschrift / Serie
Lecture Notes in Computer Science
Band
6447
Seiten / Artikelnummer
597 - 612
Verlag
Springer
Konferenz
12th International Conference on Formal Engineering Methods (ICFEM 2010), Shanghai, China, November 16-19, 2010
Organisationseinheit
03594 - Meyer, Bertrand (emeritus)  
Mehr
Alle Metadaten anzeigen
ETH Bibliographie
yes
Altmetrics