TY  - GEN
DO  - 10.1007/978-3-030-50086-3
DO  - doi
T1  - Formal techniques for distributed objects, components, and systems :40th IFIP WG 6.1 International Conference, FORTE 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings /
AU  - Gotsman, Alexey,
AU  - Sokolova, Ana,
VL  - 12136
CN  - QA76.9.D5
N1  - Includes author index.
N1  - International conference proceedings.
N1  - The title page lists Valletta, Malta as the location. However, the summary states "The conference was held virtually due to the COVID-19 pandemic. "
ID  - 937590
KW  - Electronic data processing
KW  - Formal methods (Computer science)
KW  - Computer network protocols
SN  - 9783030500863
SN  - 3030500861
TI  - Formal techniques for distributed objects, components, and systems :40th IFIP WG 6.1 International Conference, FORTE 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-50086-3
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-50086-3
ER  -