Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Gr
From MaRDI portal
Publication:288099
DOI10.1007/978-3-319-39570-8zbMath1339.68004MaRDI QIDQ288099
No author found.
Publication date: 24 May 2016
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
This page was built for publication: Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Gr
