Mathematical models and circuit implementations of memristive systems | IEEE Conference Publication | IEEE Xplore