Q593103
type: Item
instance of: scholarly article
title: Formal techniques for distributed objects, components, and systems. 35th IFIP WG 6.1 international conference, FORTE 2015, held as part of the 10th international federated conference on distributed computing techniques, DisCoTec 2015, Grenoble, France, June 2--4, 2015. Proceedings
zbMATH Open document ID: 1339.68008
DOI: 10.1007/978-3-319-19195-9
published in: Lecture Notes in Computer Science
publication date: 2015-08-18T00:00:00Z
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68M14
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 6473488
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-319-19195-9
OpenAlex ID: W3033176505
label: Formal techniques for distributed objects, components, and systems. 35th IFIP WG 6.1 international conference, FORTE 2015, held as part of the 10th international federated conference on distributed computing techniques, DisCoTec 2015, Grenoble, France, June 2--4, 2015. Proceedings
description: scientific article; zbMATH DE number 6473488