Formal techniques for distributed systems. Joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009, Lisboa, Portugal, June 9--12, 2009. Proceedings (Q1025403)
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 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009, Lisboa, Portugal, June 9--12, 2009. Proceedings |
scientific article; zbMATH DE number 5566527
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal techniques for distributed systems. Joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009, Lisboa, Portugal, June 9--12, 2009. Proceedings |
scientific article; zbMATH DE number 5566527 |
Statements
Formal techniques for distributed systems. Joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009, Lisboa, Portugal, June 9--12, 2009. Proceedings (English)
0 references
18 June 2009
0 references
0.96224743
0 references
0.95603806
0 references
0.95075136
0 references
0.94121534
0 references
0.90509593
0 references
0.9050436
0 references
0.8985239
0 references
0.89450514
0 references
0.8923826
0 references
0.89236295
0 references
