Information über die URN
| U R N | urn:nbn:de:hbz:061-20180417-080739-0 |
|---|---|
| Verantwortliche Institution |
Universitäts- und Landesbibliothek Düsseldorf |
| Erstellt / Geändert | 2018-04-20 / 2018-04-21 |
Zugriff auf die Ressource
Bitte kontaktieren Sie die verantwortliche Institution, falls eine der gelisteten URLs nicht funktionieren sollte
| 1. U R L | https://docserv.uni-duesseldorf.de/servlets/DocumentServlet?id=45594 |
|---|
| 2. U R L | https://docserv.uni-duesseldorf.de/servlets/DerivateServlet/Derivate-48526/dobrikov_dissertation_improving_explicit_state_model_checking_for_b.pdf |
|---|
| 3. U R L | http://d-nb.info/115646000X/34 |
|---|