Formal techniques for distributed objects, components, and systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, proceedings
| Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/96814 |
|---|---|
| ISBN: | 9783030780883OPAC |
| ISBN: | 9783030780890OPAC |
| ISSN: | 0302-9743OPAC |
| ISSN: | 1611-3349OPAC |
| Publisher: | Springer |
| Place of publication: | Cham |
| Editor: | Kirstin PetersORCiDGND, Tim A. C. Willemse |
| Type: | Book |
| Language: | English |
| Year of first Publication: | 2021 |
| Publishing Institution: | Universität Augsburg |
| Release Date: | 2022/07/21 |
| Page Number: | XII, 245 |
| Series: | Lecture Notes in Computer Science ; 12719 |
| DOI: | https://doi.org/10.1007/978-3-030-78089-0 |
| Institutes: | Fakultät für Angewandte Informatik |
| Fakultät für Angewandte Informatik / Institut für Informatik | |
| Fakultät für Angewandte Informatik / Institut für Informatik / Professur für Theorie verteilter und paralleler Systeme | |
| Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
