Q1637920
type: Item
instance of: scholarly article
title: Formal techniques for distributed objects, components, and systems. 38th IFIP WG 6.1 international conference, FORTE 2018, held as part of the 13th international federated conference on distributed computing techniques, DisCoTec 2018, Madrid, Spain, June 18--21, 2018. Proceedings
zbMATH Open document ID: 1387.68012
DOI: 10.1007/978-3-319-92612-4
published in: Lecture Notes in Computer Science
publication date: 2018-06-11T00:00:00Z
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68M14
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 6883358
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-319-92612-4
OpenAlex ID: W3025050019
Recommended article: Q2419705
Recommended article: Q2356975
Recommended article: Q593103
Recommended article: Q590566
Recommended article: Q2128403
Recommended article: Q6171529
Recommended article: Q2156876
Recommended article: Q2451834
Recommended article: Q2042393
Recommended article: Q1952567
label: Formal techniques for distributed objects, components, and systems. 38th IFIP WG 6.1 international conference, FORTE 2018, held as part of the 13th international federated conference on distributed computing techniques, DisCoTec 2018, Madrid, Spain, June 18--21, 2018. Proceedings
description: scientific article; zbMATH DE number 6883358