Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems> ?p ?o }
Showing triples 1 to 62 of
62
with 100 triples per page.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems abstract "The IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE) is part of the federated conference event DisCoTec (Distributed Computing Techniques) which also includes the International Conference on Coordination Models and Languages (COORDINATION) and the IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS).Until 2013, the conference was held as IFIP Joint International Conference on Formal Techniques for Distributed Systems and consisted of the two conference series FMOODS and FORTE.".
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink ~forte2004.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink ~forte05.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink FORTE07.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink index.htm.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink main.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink pmwiki.php?n=FMOODS08.HomePage.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink index.php?title=Fmoods_forte.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink forte13.sosy-lab.org.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink forte2006.cnam.fr.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink fmoods2002.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink fmoods.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink FORTE02.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink FMOODS06.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink call-for-papers.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink FORTE_PSTV98.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink fmoods96.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink forte_pstv99.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink index.htm.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink 978-3-642-13463-0.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink 978-3-642-21460-8.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink 978-3-642-30792-8.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink 978-0-412-82060-1.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink 978-0-7923-7683-5.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink 978-0-7923-7923-2.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink 978-0-7923-8429-8.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink 978-3-540-00141-6.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink 978-3-540-20175-5.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink 978-3-540-20491-6.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink 978-3-540-23252-0.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink 978-3-540-26181-0.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink 978-3-540-29189-3.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink 978-3-540-34893-1.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink 978-3-540-46219-4.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink 978-3-540-68854-9.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink 978-3-540-68862-4.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink 978-3-540-72919-8.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink 978-3-540-73195-5.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink 978-3-642-02137-4.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageExternalLink 978-3-642-38591-9.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageID "24839130".
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageLength "5601".
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageOutDegree "3".
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageRevisionID "612693613".
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageWikiLink Category:Distributed_computing_conferences.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageWikiLink International_Conference_on_Coordination_Models_and_Languages.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageWikiLink Research.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageWikiLinkText "International Conference on Formal Techniques for Networked and Distributed Systems".
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems hasPhotoCollection International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wikiPageUsesTemplate Template:Reflist.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems subject Category:Distributed_computing_conferences.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems hypernym Part.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems type Article.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems type Article.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems type Page.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems comment "The IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE) is part of the federated conference event DisCoTec (Distributed Computing Techniques) which also includes the International Conference on Coordination Models and Languages (COORDINATION) and the IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS).Until 2013, the conference was held as IFIP Joint International Conference on Formal Techniques for Distributed Systems and consisted of the two conference series FMOODS and FORTE.".
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems label "International Conference on Formal Techniques for Networked and Distributed Systems".
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems sameAs m.09gp6_2.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems sameAs Q6049626.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems sameAs Q6049626.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems wasDerivedFrom International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems?oldid=612693613.
- International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems isPrimaryTopicOf International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems.