About: International Conference on Formal Techniques for Networked and Distributed Systems

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Annual conference series on theory of distributed algorithms

Property	Value
dbo:description	annual conference series on theory of distributed algorithms (en)
dbo:wikiPageExternalLink	http://antares.sip.ucm.es/~forte2004/ http://dais-fmoods-2005.di.uoa.gr/fmoods/index.htm http://discotec.ru.is/fmoodsforte/main http://discotec08.ifi.uio.no/pmwiki.php%3Fn=FMOODS08.HomePage http://discotec09.di.fc.ul.pt/index.php%3Ftitle=Fmoods_forte http://forte13.sosy-lab.org/ http://forte2006.cnam.fr/ http://www.discotec06.cs.unibo.it/FMOODS06/ http://www.discotec2014.tu-berlin.de/forte-2014/call-for-papers https://web.archive.org/web/20050305083843/http:/cc.ee.ntu.edu.tw/~forte05/ https://web.archive.org/web/20090919033908/http:/www.cs.rice.edu/FORTE02/ https://web.archive.org/web/20091219214332/http:/cs.ttu.ee/FORTE07/ http://trese.cs.utwente.nl/fmoods2002/ http://www.infres.enst.fr/confs/FORTE_PSTV98/ http://www.infres.enst.fr/~najm/fmoods96/ http://www.infres.enst.fr/~najm/forte_pstv99/ http://www.liacs.nl/~marcello/FMOODS/index.htm https://www.springer.com/computer/communication+networks/book/978-3-642-13463-0 https://www.springer.com/computer/communication+networks/book/978-3-642-21460-8 https://www.springer.com/computer/communication+networks/book/978-3-642-30792-8 https://www.springer.com/computer/communications/book/978-0-412-82060-1 https://www.springer.com/computer/communications/book/978-0-7923-7683-5 https://www.springer.com/computer/communications/book/978-0-7923-7923-2 https://www.springer.com/computer/communications/book/978-0-7923-8429-8 https://www.springer.com/computer/communications/book/978-3-540-00141-6 https://www.springer.com/computer/communications/book/978-3-540-20175-5 https://www.springer.com/computer/communications/book/978-3-540-20491-6 https://www.springer.com/computer/communications/book/978-3-540-23252-0 https://www.springer.com/computer/communications/book/978-3-540-26181-0 https://www.springer.com/computer/communications/book/978-3-540-29189-3 https://www.springer.com/computer/communications/book/978-3-540-34893-1 https://www.springer.com/computer/communications/book/978-3-540-46219-4 https://www.springer.com/computer/communications/book/978-3-540-68854-9 https://www.springer.com/computer/communications/book/978-3-540-68862-4 https://www.springer.com/computer/communications/book/978-3-540-72919-8 https://www.springer.com/computer/communications/book/978-3-540-73195-5 https://www.springer.com/computer/communications/book/978-3-642-02137-4 https://www.springer.com/computer/theoretical+computer+science/book/978-3-642-38591-9 http://www-formal.stanford.edu/fmoods/
dbo:wikiPageWikiLink	dbr:Research dbc:Distributed_computing_conferences dbr:International_Conference_on_Coordination_Models_and_Languages
dbp:wikiPageUsesTemplate	dbt:Reflist
dct:subject	dbc:Distributed_computing_conferences
gold:hypernym	dbr:Part
rdfs:label	International Conference on Formal Techniques for Networked and Distributed Systems (en)
owl:sameAs	freebase:International Conference on Formal Techniques for Networked and Distributed Systems wikidata:International Conference on Formal Techniques for Networked and Distributed Systems dbpedia-global:International Conference on Formal Techniques for Networked and Distributed Systems
prov:wasDerivedFrom	wikipedia-en:International_Conference_on_Formal_Tec...ributed_Systems?oldid=1103021722&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:International_Conference_on_Formal_Tec...for_Networked_and_Distributed_Systems
is dbo:wikiPageWikiLink of	dbr:List_of_computer_science_conferences dbr:List_of_computer_science_conference_acronyms
is foaf:primaryTopic of	wikipedia-en:International_Conference_on_Formal_Tec...for_Networked_and_Distributed_Systems