Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein: Login

Treffer: Three Early Formal Approaches to the Verification of Concurrent Programs

Title:

Three Early Formal Approaches to the Verification of Concurrent Programs

Authors:

Jones, Cliff B

Document Type:

Journal Article

Database:

Philosopher's Index with Full Text

Der Volltext kann Gästen nicht angezeigt werden. Login für vollen Zugriff.

Links