"Methods and Description Languages for Modelling and Verification of ..."

Details and statistics

DOI:

access: closed

type: Editorship

metadata version: 2024-01-12