Treffer: Extending non-termination proof techniques to asynchronously communicating concurrent programs
Titel:
Extending non-termination proof techniques to asynchronously communicating concurrent programs / Matthias Kuntz ; Stefan Leue ; Christoph Scheben
Beteiligt:
Veröffentlicht:
Konstanz : Bibliothek der Universität Konstanz, 2011
Umfang:
Online-Ressource
Format:
Sprache:
Englisch