Grabowski, Darius; Platte, Daniel; Hedrich, Lars; Barke, Erich
(Amsterdam : Elsevier BV, 2006)
In this contribution we present algorithms for model checking of analog circuits enabling the specification of time constraints. Furthermore, a methodology for defining time-based specifications is introduced. An already ...