Information über die URN
| U R N | urn:nbn:de:hbz:386-kluedo-65620 |
|---|---|
| Verantwortliche Institution |
Universitätsbibliothek Kaiserslautern |
| Erstellt / Geändert | 2021-09-13 / 2023-01-04 |
Zugriff auf die Ressource
Bitte kontaktieren Sie die verantwortliche Institution, falls eine der gelisteten URLs nicht funktionieren sollte
| 1. U R L | https://kluedo.ub.rptu.de/frontdoor/index/index/docId/6562 |
|---|
| 2. U R L | https://kluedo.ub.rptu.de/files/6562/Schwarz%20-%20Formal%20Co-Verification%20of%20Optimized%20Embedded%20Systems.pdf |
|---|
| 3. U R L | http://d-nb.info/1241117632/34 |
|---|