Formal Techniques for Distributed Systems, FMOODS-FORTE 2011, Reykjavik, Iceland, June 6-9, 2011

Bibliographic Details
Main Authors: BRUNI R, DINGEL J, Bruni, Roberto, Dingel, J.
Other Authors: BRUNI, ROBERTO, DINGEL J.
Format: Other/Unknown Material
Language:English
Published: SPRINGER VERLAG 2011
Subjects:
Iceland
Online Access:http://hdl.handle.net/11568/149182
https://doi.org/10.1007/978-3-642-21461-5
id ftunivpisairis:oai:arpi.unipi.it:11568/149182
record_format openpolar
spelling ftunivpisairis:oai:arpi.unipi.it:11568/149182 2024-04-21T08:05:16+00:00 Formal Techniques for Distributed Systems, FMOODS-FORTE 2011, Reykjavik, Iceland, June 6-9, 2011 BRUNI R DINGEL J Bruni, Roberto Dingel, J. BRUNI, ROBERTO DINGEL J. 2011 STAMPA http://hdl.handle.net/11568/149182 https://doi.org/10.1007/978-3-642-21461-5 eng eng SPRINGER VERLAG country:DEU place:Berlin info:eu-repo/semantics/altIdentifier/isbn/9783642214608 volume:6722 journal:LECTURE NOTES IN COMPUTER SCIENCE http://hdl.handle.net/11568/149182 doi:10.1007/978-3-642-21461-5 info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-79960878185 info:eu-repo/semantics/other 2011 ftunivpisairis https://doi.org/10.1007/978-3-642-21461-5 2024-03-28T01:25:59Z Other/Unknown Material Iceland ARPI - Archivio della Ricerca dell'Università di Pisa
institution Open Polar
collection ARPI - Archivio della Ricerca dell'Università di Pisa
op_collection_id ftunivpisairis
language English
author2 BRUNI, ROBERTO
DINGEL J.
format Other/Unknown Material
author BRUNI R
DINGEL J
Bruni, Roberto
Dingel, J.
spellingShingle BRUNI R
DINGEL J
Bruni, Roberto
Dingel, J.
Formal Techniques for Distributed Systems, FMOODS-FORTE 2011, Reykjavik, Iceland, June 6-9, 2011
author_facet BRUNI R
DINGEL J
Bruni, Roberto
Dingel, J.
author_sort BRUNI R
title Formal Techniques for Distributed Systems, FMOODS-FORTE 2011, Reykjavik, Iceland, June 6-9, 2011
title_short Formal Techniques for Distributed Systems, FMOODS-FORTE 2011, Reykjavik, Iceland, June 6-9, 2011
title_full Formal Techniques for Distributed Systems, FMOODS-FORTE 2011, Reykjavik, Iceland, June 6-9, 2011
title_fullStr Formal Techniques for Distributed Systems, FMOODS-FORTE 2011, Reykjavik, Iceland, June 6-9, 2011
title_full_unstemmed Formal Techniques for Distributed Systems, FMOODS-FORTE 2011, Reykjavik, Iceland, June 6-9, 2011
title_sort formal techniques for distributed systems, fmoods-forte 2011, reykjavik, iceland, june 6-9, 2011
publisher SPRINGER VERLAG
publishDate 2011
url http://hdl.handle.net/11568/149182
https://doi.org/10.1007/978-3-642-21461-5
genre Iceland
genre_facet Iceland
op_relation info:eu-repo/semantics/altIdentifier/isbn/9783642214608
volume:6722
journal:LECTURE NOTES IN COMPUTER SCIENCE
http://hdl.handle.net/11568/149182
doi:10.1007/978-3-642-21461-5
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-79960878185
op_doi https://doi.org/10.1007/978-3-642-21461-5
_version_ 1796944797578035200

Similar Items