Formal techniques for distributed systems. Joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7--9, 2010. Proceedings (Q976294)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Formal techniques for distributed systems. Joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7--9, 2010. Proceedings |
scientific article; zbMATH DE number 5722146
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal techniques for distributed systems. Joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7--9, 2010. Proceedings |
scientific article; zbMATH DE number 5722146 |
Statements
Formal techniques for distributed systems. Joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7--9, 2010. Proceedings (English)
0 references
17 June 2010
0 references
0.96488017
0 references
0.9642317
0 references
0.95603806
0 references
0.95040965
0 references
0.9106005
0 references
0.90937173
0 references
0.90771407
0 references
0.9044993
0 references
0.9044888
0 references
0.9044732
0 references
