Book Title: Formal Techniques for Distributed Objects, Components, and Systems
Book Subtitle: 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings
Editors: Mohammad Reza Mousavi, Anna Philippou
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-08679-3
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: IFIP International Federation for Information Processing 2022
Softcover ISBN: 978-3-031-08678-6Published: 12 June 2022
eBook ISBN: 978-3-031-08679-3Published: 11 June 2022
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 209
Number of Illustrations: 24 b/w illustrations, 28 illustrations in colour