Efficient composition of scenario-based hardware specifications

Alessandro de Gennaro, Paulius Stankaitis, Andrey Mokhov. Efficient composition of scenario-based hardware specifications. IET Computers & Digital Techniques, 13(2):57-69, 2019. [doi]

@article{GennaroSM19,
  title = {Efficient composition of scenario-based hardware specifications},
  author = {Alessandro de Gennaro and Paulius Stankaitis and Andrey Mokhov},
  year = {2019},
  doi = {10.1049/iet-cdt.2018.5073},
  url = {https://doi.org/10.1049/iet-cdt.2018.5073},
  researchr = {https://researchr.org/publication/GennaroSM19},
  cites = {0},
  citedby = {0},
  journal = {IET Computers & Digital Techniques},
  volume = {13},
  number = {2},
  pages = {57-69},
}