Formal Techniques for Distributed Systems, FMOODS-FORTE 2011, Reykjavik, Iceland, June 6-9, 2011
Main Authors: | , , , |
---|---|
Other Authors: | , |
Format: | Other/Unknown Material |
Language: | English |
Published: |
SPRINGER VERLAG
2011
|
Subjects: | |
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 |