Titel |
Adding concurrency to a sequential refinement tower / Gerhard Schellhorn, Stefan Bodenmüller, Jörg Pfähler, Wolfgang Reif |
|---|---|
Beteiligt |
Gerhard Schellhorn (Verfasser) |
Erschienen |
Augsburg: Universität Augsburg |
Umfang |
Online-Ressource |
Sprache |
|
Land |
|
Themengebiet |
|
DDC-Notation |
|
Persistent Identifier |
urn:nbn:de:bvb:384-opus4-796918 (URN) |
Weitere Angaben |
In: Lecture Notes in Computer Science, 12071, S. 6-23 |
Datensatz-ID |
1222437171 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: