Verifying global start-up for a Möbius ring-oscillator.

Chao Yan Mark R. Greenstreet Suwen Yang

Published in: Formal Methods Syst. Des. (2014)

Keyphrases

differential equations
database
image sequences
model checking
data sets
data mining
search engine
decision making
high level
information technology