Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

Bibliographic Details
Main Authors: Bruni, Roberto, Dingel, Juergen
Language:English
Published: Springer 2011
Subjects:
Logic design
Software Engineering
Computer Communication Networks
Computer Science
TK5105.5
Iceland
Online Access:http://hdl.handle.net/2078/ebook:25682
https://doi.org/10.1007/978-3-642-21461-5
id ftunistlouisbrus:oai:dial.uclouvain.be:ebook:25682
record_format openpolar
spelling ftunistlouisbrus:oai:dial.uclouvain.be:ebook:25682 2023-05-15T16:46:28+02:00 Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings Bruni, Roberto Dingel, Juergen 2011 http://hdl.handle.net/2078/ebook:25682 https://doi.org/10.1007/978-3-642-21461-5 eng eng Springer ebook:25682 http://hdl.handle.net/2078/ebook:25682 doi:10.1007/978-3-642-21461-5 urn:ISBN:9783642214615 Logic design Software Engineering Computer Communication Networks Computer Science TK5105.5 2011 ftunistlouisbrus https://doi.org/10.1007/978-3-642-21461-5 2017-10-18T22:32:08Z Other/Unknown Material Iceland DIAL@USL-B (Université Saint-Louis, Bruxelles)
institution Open Polar
collection DIAL@USL-B (Université Saint-Louis, Bruxelles)
op_collection_id ftunistlouisbrus
language English
topic Logic design
Software Engineering
Computer Communication Networks
Computer Science
TK5105.5
spellingShingle Logic design
Software Engineering
Computer Communication Networks
Computer Science
TK5105.5
Bruni, Roberto
Dingel, Juergen
Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
topic_facet Logic design
Software Engineering
Computer Communication Networks
Computer Science
TK5105.5
author Bruni, Roberto
Dingel, Juergen
author_facet Bruni, Roberto
Dingel, Juergen
author_sort Bruni, Roberto
title Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
title_short Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
title_full Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
title_fullStr Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
title_full_unstemmed Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
title_sort formal techniques for distributed systems : joint 13th ifip wg 6.1 international conference, fmoods 2011, and 30th ifip wg 6.1 international conference, forte 2011, reykjavik, iceland, june 6-9, 2011. proceedings
publisher Springer
publishDate 2011
url http://hdl.handle.net/2078/ebook:25682
https://doi.org/10.1007/978-3-642-21461-5
genre Iceland
genre_facet Iceland
op_relation ebook:25682
http://hdl.handle.net/2078/ebook:25682
doi:10.1007/978-3-642-21461-5
urn:ISBN:9783642214615
op_doi https://doi.org/10.1007/978-3-642-21461-5
_version_ 1766036564342734848

Similar Items