Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!

Treffer: Time constrained verification of analog circuits using model-checking algorithms

Titel:
Time constrained verification of analog circuits using model-checking algorithms / Darius Grabowski, Daniel Platte, Lars Hedrich, Erich Barke
Beteiligt:
Grabowski, Dariusz (Verfasser) ; Platte, Daniel (Verfasser) ; Hedrich, Lars (Verfasser) ; Barke, Erich (Verfasser) 
Veröffentlicht in:
Enthalten in: Electronic notes in theoretical computer science. - Amsterdam : Elsevier, 07.06.2006. - Seite 37-52. - 10.1016/j.entcs.2006.01.026. - ISSN 1571-0661. - Jahrgang 153, Heft 3
Veröffent­licht:
Amsterdam : Elsevier, 07.06.2006
Vertrieb:
Frankfurt am Main : Universitätsbibliothek Johann Christian Senckenberg
Umfang:
1 Online-Ressource (16 Seiten)
Format:
E-Book
Sprache:
Englisch
DOI:
10.1016/j.entcs.2006.01.026
Open Access Rechte:
Open Access
CC BY-NC-ND 4.0

Zusatz-Informationen

Zusatz-Funktionen