Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "109539699"
Treffer 5 von 9
|
|
| Link zu diesem Datensatz | https://d-nb.info/1314924052 |
| Titel | Time constrained verification of analog circuits using model-checking algorithms / Darius Grabowski, Daniel Platte, Lars Hedrich, Erich Barke |
| Person(en) |
Grabowski, Darius (Verfasser) Platte, Daniel (Verfasser) Hedrich, Lars (Verfasser) Barke, Erich (Verfasser) |
| Verlag | Frankfurt am Main : Universitätsbibliothek Johann Christian Senckenberg |
| Zeitliche Einordnung | Erscheinungsdatum: 2006 |
| Umfang/Format | Online-Ressource (pdf) |
| Persistent Identifier |
URN: urn:nbn:de:hebis:30:3-762646 DOI: 10.1016/j.entcs.2006.01.026 |
| URL | http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/76264 (Verlag) (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Anmerkungen | In: Electronic notes in theoretical computer science, 153.2006, 3, S. 37-52 |
| DDC-Notation | 004.01 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 5 von 9
Administration
