Verifying next generation electronic systems (bibtex)

by R. Drechsler

Reference:

R. Drechsler, "Verifying next generation electronic systems", In 2017 International Conference on Infocom Technologies and Unmanned Systems (Trends and Future Directions) (ICTUS), pp. 6-10, 2017.

Bibtex Entry:

@INPROCEEDINGS{8285965,
author={R. Drechsler and D. Gro{\ss}e},
booktitle={2017 International Conference on Infocom Technologies and Unmanned Systems (Trends and Future Directions) (ICTUS)},
title={Verifying next generation electronic systems},
year={2017},
pages={6-10},
keywords={easecrc_},
doi={10.1109/ICTUS.2017.8285965},
month={Dec},
URL = {https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8285965},
keywords={easecrc_cognitive_arch_systems}
}