Elisabetta Binaghi, Lorenzo Lisca, Alberto Proserpio, Giacomo R. Sechi. An abstract description generator for the reliability analysis in the design of real time systems. Journal of Systems Architecture, 23(1-5):157-165, 1988. [doi]
@article{BinaghiLPS88,
title = {An abstract description generator for the reliability analysis in the design of real time systems},
author = {Elisabetta Binaghi and Lorenzo Lisca and Alberto Proserpio and Giacomo R. Sechi},
year = {1988},
doi = {10.1016/0165-6074(88)90349-3},
url = {https://doi.org/10.1016/0165-6074(88)90349-3},
researchr = {https://researchr.org/publication/BinaghiLPS88},
cites = {0},
citedby = {0},
journal = {Journal of Systems Architecture},
volume = {23},
number = {1-5},
pages = {157-165},
}