Takan, S. And Ayav, T. 2015. Model Checker-Based Delay Fault Testing of Sequential Circuits. ARCS 2015 - The 28th International Conference on Architecture of Computing Systems. Proceedings , (Porto, Portugal), 1-7.

Takan, S., & Ayav, T., (2015). Model Checker-Based Delay Fault Testing of Sequential Circuits . ARCS 2015 - The 28th International Conference on Architecture of Computing Systems. Proceedings (pp.1-7). Porto, Portugal

Takan, SAVAŞ, And Tolga Ayav. "Model Checker-Based Delay Fault Testing of Sequential Circuits," ARCS 2015 - The 28th International Conference on Architecture of Computing Systems. Proceedings, Porto, Portugal, 2015

Takan, SAVAŞ And Ayav, Tolga. "Model Checker-Based Delay Fault Testing of Sequential Circuits." ARCS 2015 - The 28th International Conference on Architecture of Computing Systems. Proceedings , Porto, Portugal, pp.1-7, 2015

Takan, S. And Ayav, T. (2015) . "Model Checker-Based Delay Fault Testing of Sequential Circuits." ARCS 2015 - The 28th International Conference on Architecture of Computing Systems. Proceedings , Porto, Portugal, pp.1-7.

@conferencepaper{conferencepaper, author={SAVAŞ TAKAN And author={Tolga Ayav}, title={Model Checker-Based Delay Fault Testing of Sequential Circuits}, congress name={ARCS 2015 - The 28th International Conference on Architecture of Computing Systems. Proceedings}, city={Porto}, country={Portugal}, year={2015}, pages={1-7} }