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]

Bibliographies