BOZZANO, Marco; Alessandro CIMATTI; Alberto GRIGGIO a Martin JONÁŠ. Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation. In Fisman, D., Rosu, G. Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2022. Cham: Springer, 2022, s. 273-291, 20 s. ISBN 978-3-030-99526-3. Dostupné z: https://doi.org/10.1007/978-3-030-99527-0_15.
@inproceedings{2335537, author = {Bozzano, Marco and Cimatti, Alessandro and Griggio, Alberto and Jonáš, Martin}, address = {Cham}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2022}, doi = {https://doi.org/10.1007/978-3-030-99527-0_15}, editor = {Fisman, D., Rosu, G}, howpublished = {tištěná verze "print"}, location = {Cham}, isbn = {978-3-030-99526-3}, pages = {273-291}, publisher = {Springer}, title = {Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation}, url = {https://link.springer.com/chapter/10.1007/978-3-030-99527-0_15}, year = {2022} }
TY - CONF ID - 2335537 AU - Bozzano, Marco - Cimatti, Alessandro - Griggio, Alberto - Jonáš, Martin PY - 2022 TI - Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation PB - Springer CY - Cham SN - 9783030995263 UR - https://link.springer.com/chapter/10.1007/978-3-030-99527-0_15 ER -
BOZZANO, Marco; Alessandro CIMATTI; Alberto GRIGGIO a Martin JONÁŠ. Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation. In Fisman, D., Rosu, G. \textit{Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2022}. Cham: Springer, 2022, s.~273-291, 20 s. ISBN~978-3-030-99526-3. Dostupné z: https://doi.org/10.1007/978-3-030-99527-0\_{}15.