Information über die URN
| U R N | urn:nbn:de:hbz:386-kluedo-51226 |
|---|---|
| Verantwortliche Institution |
Universitätsbibliothek Kaiserslautern |
| Erstellt / Geändert | 2018-01-15 / 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/5122 |
|---|
| 2. U R L | https://kluedo.ub.rptu.de/files/5122/Induction-based%20Verification%20of%20Synchronous%20and%20Hybrid%20Programs.pdf |
|---|
| 3. U R L | http://d-nb.info/1150704403/34 |
|---|