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, 24 - 27 March 2015, pp.1-7 , (Porto, Portugal).

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, Porto, Portugal, 24 - 27 March 2015, 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, 24 - 27 March 2015, pp.1-7, 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, 24 - 27 March 2015, pp.1-7 , Porto, Portugal, 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, 24 - 27 March 2015, pp.1-7 , Porto, Portugal.

@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, Porto, Portugal, 24 - 27 March 2015, pp.1-7}, city={Porto}, country={Portugal}, year={2015}}