This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference...
This book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and E...
This book constitutes the thoroughly refereedpost-conference proceedings of the First IFIP WG 1.8...
This book constitutes the proceedings of the 5th International Workshop on Design, Modeling, and ...
This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Met...
Rigorous theory and real-world applications for modeling and analysis of the behavior of complex ...
This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference o...
This book constitutes the proceedings of the 5th International Workshop on Design, Modeling, a...
This book constitutes the thoroughly refereedpost-conference proceedings of the First IFIP WG ...
This book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and E...
This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Confere...