Analysis of the structure of attributed transition systems without hidden transitions
attributed transition system without hidden transitions
composition of attributed transition systems
scientific article; zbMATH DE number 6837660
scientific article