Formal techniques for distributed objects, components, and systems. 37th IFIP WG 6.1 international conference, FORTE 2017, held as part of the 12th international federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19--22, 2017. Proceedings (Q2356975)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6726538
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Formal techniques for distributed objects, components, and systems. 37th IFIP WG 6.1 international conference, FORTE 2017, held as part of the 12th international federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19--22, 2017. Proceedings |
scientific article; zbMATH DE number 6726538 |
Statements
Formal techniques for distributed objects, components, and systems. 37th IFIP WG 6.1 international conference, FORTE 2017, held as part of the 12th international federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19--22, 2017. Proceedings (English)
0 references
7 June 2017
0 references
0.97038394
0 references
0.9686954
0 references
0.96663165
0 references
0.9660079
0 references
0.9651665
0 references
0.96398276
0 references
0.9620945
0 references
0 references
0.9553529
0 references
0.91762733
0 references