Formal Techniques for Networked and Distributed Systems - FORTE 2006

Autor:	Elie Najm, Véronique Viguié Donzeau-Gouge, Jean-François Pradat-Peyre
Rok vydání:	2006
Předmět:	Computer science TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS Distributed computing
Zdroj:	Lecture Notes in Computer Science ISBN: 9783540462194 Formal Techniques for Networked and Distributed Systems-FORTE 2006
DOI:	10.1007/11888116
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::71bad634d26fe60ac0c3431b0ad3c5c9 https://doi.org/10.1007/11888116 Zobrazit plný text záznamu