Record Beta
Formal Techniques for Networked and Distributed Systems / Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE)
https://id.confref.org/data/confref-portal/event/forte2009
This record is part of the confref event 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.
| rdf:type | portal:Conference |
|---|---|
| schema:location | Lisbon (wd:Q597) |
| rdfs:label | Formal Techniques for Networked and Distributed Systems / Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE) |
| portal:acronym | FORTE |
| portal:area | https://id.confref.org/data/confref-portal/area/2 |
| portal:city | Lisboa |
| portal:country | Portugal |
| portal:endDate | 2009-06-12 |
| portal:name | Formal Techniques for Networked and Distributed Systems / Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE) |
| portal:portalPage | http://portal.confref.org/list/forte2009 |
| portal:series | https://id.confref.org/data/confref-portal/series/forte |
| portal:startDate | 2009-06-09 |
| portal:submissionExtended | false |
| portal:year | 2009 |
| cr:discipline | computer science (wd:Q21198) |
| cr:field | Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2) |
| cr:sameAs | https://dblp.org/db/conf/forte/forte2009 |
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.