Send mail to Author

Time constrained verification of analog circuits using model-checking algorithms (Article)

Please indicate your contact information and select, which author you want to contact.



 
  ______   __   __   _____     __   __    _  _    _    _   
 /_____//  \ \\/ // |  __ \\   \ \\/ //  | \| || | || | || 
 `____ `    \ ` //  | |  \ ||   \ ` //   |  ' || | || | || 
 /___//      | ||   | |__/ ||    | ||    | .  || | \\_/ || 
 `__ `       |_||   |_____//     |_||    |_|\_||  \____//  
 /_//        `-`'    -----`      `-`'    `-` -`    `---`   
 `-`
 


Back to frontdoor view

OPUS4 Logo