Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden...

Gespeichert in:

Personen und Körperschaften:	Giese, Holger (VerfasserIn), Rosu, Grigore (Sonstige)
Titel:	Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings/ edited by Holger Giese, Grigore Rosu
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer Berlin Heidelberg 2012
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 7273
Schlagwörter:	Computer Communication Networks Logic design Computer Science Electronic data processing > Distributed processing > Congresses Formal methods (Computer science) > Congresses Computer science Software engineering Computer programming. Compilers (Computer programs). Computer networks . Machine theory. Konferenzschrift > 2011 > Reykjavik Konferenzschrift > 2012 > Stockholm
Buchausg. u.d.T.:	Formal techniques for distributed systems, [Berlin] : Springer, 2012, XII, 267 S.
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz


LEADER	06854cam a22013572 4500
001	0-1651538506
003	DE-627
005	20240122105102.0
007	cr uuu---uuuuu
008	120704s2012 gw \|\|\|\|\|o 00\| \|\|eng c
020			\|a 9783642307935 \|9 978-3-642-30793-5
024	7		\|a 10.1007/978-3-642-30793-5 \|2 doi
035			\|a (DE-627)1651538506
035			\|a (DE-576)367686635
035			\|a (DE-599)BSZ367686635
035			\|a (OCoLC)840010244
035			\|a (OCoLC)851042975
035			\|a (ZBM)1241.68020
035			\|a (ZBM)1241.68020
035			\|a (DE-He213)978-3-642-30793-5
035			\|a (EBP)040542513
040			\|a DE-627 \|b ger \|c DE-627 \|e rakwb
041			\|a eng
044			\|c XA-DE \|c XA-DE-BE
050		0	\|a TK5105.5-5105.9
050		0	\|a QA76.9.D5
072		7	\|a UKN \|2 bicssc
072		7	\|a COM075000 \|2 bisacsh
084			\|a SS 4800 \|q SEPA \|2 rvk \|0 (DE-625)rvk/143528:
084			\|a *68-06 \|2 msc
084			\|a 68M14 \|2 msc
084			\|a 00B25 \|2 msc
084			\|a 54.50 \|2 bkl
084			\|a 54.10 \|2 bkl
084			\|a 54.32 \|2 bkl
100	1		\|a Giese, Holger \|4 aut
245	1	0	\|a Formal Techniques for Distributed Systems \|b Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings \|c edited by Holger Giese, Grigore Rosu
264		1	\|a Berlin, Heidelberg \|b Springer Berlin Heidelberg \|c 2012
300			\|a Online-Ressource (XIII, 269p. 75 illus, digital)
336			\|a Text \|b txt \|2 rdacontent
337			\|a Computermedien \|b c \|2 rdamedia
338			\|a Online-Ressource \|b cr \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science \|v 7273
490	0		\|a SpringerLink \|a Bücher
500			\|a Literaturangaben
520			\|a This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 16 revised full papers presented were carefully reviewed and selected from 42 submissions. They cover a wide range of topics combining theory and practice in application areas of telecommunication services, Internet, embedded and real-time systems, networking and communication security and reliability, sensor networks, service-oriented architecture, and Web services.
650		0	\|a Computer Communication Networks
650		0	\|a Logic design
650		0	\|a Computer Science
650		0	\|a Electronic data processing \|x Distributed processing \|v Congresses
650		0	\|a Formal methods (Computer science) \|v Congresses
650		0	\|a Computer science
650		0	\|a Computer Communication Networks
650		0	\|a Software engineering
650		0	\|a Logic design
650		0	\|a Computer science
650		0	\|a Software engineering
650		0	\|a Computer programming.
650		0	\|a Compilers (Computer programs).
650		0	\|a Computer networks .
650		0	\|a Machine theory.
655		7	\|a Konferenzschrift \|y 2011 \|z Reykjavik \|0 (DE-588)1071861417 \|0 (DE-627)826484824 \|0 (DE-576)433375485 \|2 gnd-content
655		7	\|a Konferenzschrift \|y 2012 \|z Stockholm \|0 (DE-588)1071861417 \|0 (DE-627)826484824 \|0 (DE-576)433375485 \|2 gnd-content
689	0	0	\|D s \|0 (DE-588)4238872-7 \|0 (DE-627)104657308 \|0 (DE-576)210416696 \|a Verteiltes System \|2 gnd
689	0	1	\|D s \|0 (DE-588)4333722-3 \|0 (DE-627)148061516 \|0 (DE-576)21134253X \|a Formale Methode \|2 gnd
689	0		\|5 DE-101
689	1	0	\|D s \|0 (DE-588)4238872-7 \|0 (DE-627)104657308 \|0 (DE-576)210416696 \|a Verteiltes System \|2 gnd
689	1	1	\|D s \|0 (DE-588)4333722-3 \|0 (DE-627)148061516 \|0 (DE-576)21134253X \|a Formale Methode \|2 gnd
689	1		\|5 DE-101
700	1		\|a Rosu, Grigore \|4 oth
776	1		\|z 9783642307928
776	0	8	\|i Buchausg. u.d.T. \|t Formal techniques for distributed systems \|d [Berlin] : Springer, 2012 \|h XII, 267 S. \|w (DE-627)71688335X \|w (DE-576)370965817 \|z 3642307922 \|z 9783642307928
830		0	\|a Lecture notes in computer science \|v 7273 \|9 7273 \|w (DE-627)316228877 \|w (DE-576)093890923 \|w (DE-600)2018930-8 \|x 1611-3349 \|7 ns
856	4	0	\|u https://doi.org/10.1007/978-3-642-30793-5 \|m X:SPRINGER \|x Verlag \|z lizenzpflichtig \|3 Volltext
856	4	0	\|u http://dx.doi.org/10.1007/978-3-642-30793-5 \|x Resolving-System \|z lizenzpflichtig \|3 Volltext
856	4	2	\|u https://swbplus.bsz-bw.de/bsz367686635cov.jpg \|m V:DE-576 \|m X:springer \|q image/jpeg \|v 20140207104210 \|3 Cover
856	4	2	\|u https://zbmath.org/?q=an:1241.68020 \|m B:ZBM \|v 2021-04-12 \|x Verlag \|y Zentralblatt MATH \|3 Inhaltstext
856	4	2	\|u http://deposit.d-nb.de/cgi-bin/dokserv?id=4040511&prov=M&dok_var=1&dok_ext=htm \|m X: MVB \|q text/html \|v 2013-05-01 \|x Verlag \|3 Inhaltstext
856	4	2	\|u http://d-nb.info/1022401270/04 \|m B:DE-101 \|q application/pdf \|v 2013-05-01 \|x Verlag \|3 Inhaltsverzeichnis
889			\|w (DE-627)718776518
912			\|a ZDB-2-LNC \|b 2012
912			\|a ZDB-2-SCS \|b 2012
912			\|a ZDB-2-SEB
912			\|a ZDB-2-SXCS \|b 2012
912			\|a ZDB-2-SEB \|b 2012
935			\|h GBV \|i ExPruef
936	r	v	\|a SS 4800 \|b Lecture notes in computer science \|k Informatik \|k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen \|k Schriftenreihen (indiv. Sign.) \|k Lecture notes in computer science \|0 (DE-627)1271461242 \|0 (DE-625)rvk/143528: \|0 (DE-576)201461242
936	b	k	\|a 54.50 \|j Programmierung: Allgemeines \|q SEPA \|0 (DE-627)181569876
936	b	k	\|a 54.10 \|j Theoretische Informatik \|q SEPA \|0 (DE-627)106418815
936	b	k	\|a 54.32 \|j Rechnerkommunikation \|q SEPA \|0 (DE-627)10640623X
951			\|a BO
950			\|a Distributed System
950			\|a Distributed Data Processing
950			\|a VDV-System
950			\|a Verteilte Datenverarbeitung
950			\|a Verteilte Verarbeitung
950			\|a Verteiltes Datenverarbeitungssystem
950			\|a Verteiltes Softwaresystem
950			\|a Datenverarbeitungssystem
950			\|a Rechnernetz
950			\|a Mehrrechnersystem
950			\|a Client-Server-Konzept
950			\|a Formales Verfahren
950			\|a Methode
856	4	0	\|u http://dx.doi.org/10.1007/978-3-642-30793-5 \|9 DE-14
852			\|a DE-14 \|x epn:334999959X \|z 2012-07-04T16:23:26Z
856	4	0	\|u http://dx.doi.org/10.1007/978-3-642-30793-5 \|9 DE-15
852			\|a DE-15 \|x epn:3349999735 \|z 2012-07-04T16:23:26Z
856	4	0	\|u http://dx.doi.org/10.1007/978-3-642-30793-5 \|9 DE-Ch1
852			\|a DE-Ch1 \|x epn:3349999794 \|z 2012-07-04T16:23:26Z
976			\|h Elektronischer Volltext - Campuslizenz
856	4	0	\|u http://dx.doi.org/10.1007/978-3-642-30793-5 \|z Zum Online-Dokument \|9 DE-Zi4
852			\|a DE-Zi4 \|x epn:3349999824 \|z 2012-07-04T16:23:26Z
856	4	0	\|u http://dx.doi.org/10.1007/978-3-642-30793-5 \|9 DE-520
852			\|a DE-520 \|x epn:3349999867 \|z 2012-07-04T16:23:26Z
980			\|a 1651538506 \|b 0 \|k 1651538506 \|o 367686635

openURL	url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Formal+Techniques+for+Distributed+Systems%3A+Joint+14th+IFIP+WG+6.1+International+Conference%2C+FMOODS+2012+and+32nd+IFIP+WG+6.1+International+Conference%2C+FORTE+2012%2C+Stockholm%2C+Sweden%2C+June+13-16%2C+2012.+Proceedings&rft.date=2012&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Formal+Techniques+for+Distributed+Systems%3A+Joint+14th+IFIP+WG+6.1+International+Conference%2C+FMOODS+2012+and+32nd+IFIP+WG+6.1+International+Conference%2C+FORTE+2012%2C+Stockholm%2C+Sweden%2C+June+13-16%2C+2012.+Proceedings&rft.series=Lecture+notes+in+computer+science%2C+7273&rft.au=Giese%2C+Holger&rft.pub=Springer+Berlin+Heidelberg&rft.edition=&rft.isbn=3642307930

openURL

url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Formal+Techniques+for+Distributed+Systems%3A+Joint+14th+IFIP+WG+6.1+International+Conference%2C+FMOODS+2012+and+32nd+IFIP+WG+6.1+International+Conference%2C+FORTE+2012%2C+Stockholm%2C+Sweden%2C+June+13-16%2C+2012.+Proceedings&rft.date=2012&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Formal+Techniques+for+Distributed+Systems%3A+Joint+14th+IFIP+WG+6.1+International+Conference%2C+FMOODS+2012+and+32nd+IFIP+WG+6.1+International+Conference%2C+FORTE+2012%2C+Stockholm%2C+Sweden%2C+June+13-16%2C+2012.+Proceedings&rft.series=Lecture+notes+in+computer+science%2C+7273&rft.au=Giese%2C+Holger&rft.pub=Springer+Berlin+Heidelberg&rft.edition=&rft.isbn=3642307930

SOLR
_version_	1792253792012468224
access_facet	Electronic Resources
author	Giese, Holger
author2	Rosu, Grigore
author2_role	oth
author2_variant	g r gr
author_facet	Giese, Holger, Rosu, Grigore
author_role	aut
author_sort	Giese, Holger
author_variant	h g hg
callnumber-first	T - Technology
callnumber-label	TK5105
callnumber-raw	TK5105.5-5105.9, QA76.9.D5
callnumber-search	TK5105.5-5105.9, QA76.9.D5
callnumber-sort	TK 45105.5 45105.9
callnumber-subject	TK - Electrical and Nuclear Engineering
collection	ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
contents	This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 16 revised full papers presented were carefully reviewed and selected from 42 submissions. They cover a wide range of topics combining theory and practice in application areas of telecommunication services, Internet, embedded and real-time systems, networking and communication security and reliability, sensor networks, service-oriented architecture, and Web services.
ctrlnum	(DE-627)1651538506, (DE-576)367686635, (DE-599)BSZ367686635, (OCoLC)840010244, (OCoLC)851042975, (ZBM)1241.68020, (DE-He213)978-3-642-30793-5, (EBP)040542513
de15_date	2012-07-04T16:23:26Z
dech1_date	2012-07-04T16:23:26Z
doi_str_mv	10.1007/978-3-642-30793-5
era_facet	2011, 2012
facet_912a	ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
facet_avail	Online
facet_local_del330	Verteiltes System, Formale Methode
finc_class_facet	Informatik, Technik, Mathematik
fincclass_txtF_mv	science-computerscience
footnote	Literaturangaben
format	eBook, ConferenceProceedings
format_access_txtF_mv	Book, E-Book
format_de105	Ebook
format_de14	Book, E-Book
format_de15	Book, E-Book
format_del152	Buch
format_detail_txtF_mv	text-online-monograph-independent
format_dezi4	e-Book
format_finc	Book, E-Book
format_legacy	ElectronicBook
format_legacy_nrw	Book, E-Book
format_nrw	Book, E-Book
format_strict_txtF_mv	E-Book
genre	Konferenzschrift 2011 Reykjavik (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift 2012 Stockholm (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content
genre_facet	Congresses, Konferenzschrift
geogr_code	not assigned
geogr_code_person	not assigned
geographic_facet	Reykjavik, Stockholm
hierarchy_parent_id	0-316228877
hierarchy_parent_title	Lecture notes in computer science
hierarchy_sequence	7273
hierarchy_top_id	0-316228877
hierarchy_top_title	Lecture notes in computer science
id	0-1651538506
illustrated	Not Illustrated
imprint	Berlin, Heidelberg, Springer Berlin Heidelberg, 2012
imprint_str_mv	Berlin, Heidelberg: Springer Berlin Heidelberg, 2012
institution	DE-14, DE-Zi4, DE-Ch1, DE-520, DE-15
is_hierarchy_id	0-1651538506
is_hierarchy_title	Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
isbn	9783642307935
isbn_isn_mv	9783642307928, 3642307922
issn_isn_mv	1611-3349
kxp_id_str	1651538506
language	English
last_indexed	2024-02-29T17:06:48.005Z
local_heading_facet_dezwi2	Computer Communication Networks, Logic design, Computer Science, Electronic data processing, Formal methods (Computer science), Computer science, Software engineering, Computer programming., Compilers (Computer programs)., Computer networks ., Machine theory., Distributed processing, Verteiltes System, Formale Methode
marc024a_ct_mv	10.1007/978-3-642-30793-5
match_str	giese2012formaltechniquesfordistributedsystemsjoint14thifipwg61internationalconferencefmoods2012and32ndifipwg61internationalconferenceforte2012stockholmswedenjune13162012proceedings
mega_collection	Verbunddaten SWB
multipart_link	093890923
multipart_part	(093890923)7273
oclc_num	840010244, 851042975
physical	Online-Ressource (XIII, 269p. 75 illus, digital)
publishDate	2012
publishDateSort	2012
publishPlace	Berlin, Heidelberg
publisher	Springer Berlin Heidelberg
record_format	marcfinc
record_id	367686635
recordtype	marcfinc
rsn_id_str_mv	(DE-15)3140137
rvk_facet	SS 4800
rvk_label	Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science
rvk_path	SS, SQ - SU, SS 4000 - SS 5999, SS 4800
rvk_path_str_mv	SS, SQ - SU, SS 4000 - SS 5999, SS 4800
series	Lecture notes in computer science, 7273
series2	Lecture Notes in Computer Science ; 7273, SpringerLink ; Bücher
source_id	0
spelling	Giese, Holger aut, Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings edited by Holger Giese, Grigore Rosu, Berlin, Heidelberg Springer Berlin Heidelberg 2012, Online-Ressource (XIII, 269p. 75 illus, digital), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 7273, SpringerLink Bücher, Literaturangaben, This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 16 revised full papers presented were carefully reviewed and selected from 42 submissions. They cover a wide range of topics combining theory and practice in application areas of telecommunication services, Internet, embedded and real-time systems, networking and communication security and reliability, sensor networks, service-oriented architecture, and Web services., Computer Communication Networks, Logic design, Computer Science, Electronic data processing Distributed processing Congresses, Formal methods (Computer science) Congresses, Computer science, Software engineering, Computer programming., Compilers (Computer programs)., Computer networks ., Machine theory., Konferenzschrift 2011 Reykjavik (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift 2012 Stockholm (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4238872-7 (DE-627)104657308 (DE-576)210416696 Verteiltes System gnd, s (DE-588)4333722-3 (DE-627)148061516 (DE-576)21134253X Formale Methode gnd, DE-101, Rosu, Grigore oth, 9783642307928, Buchausg. u.d.T. Formal techniques for distributed systems [Berlin] : Springer, 2012 XII, 267 S. (DE-627)71688335X (DE-576)370965817 3642307922 9783642307928, Lecture notes in computer science 7273 7273 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-30793-5 X:SPRINGER Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/978-3-642-30793-5 Resolving-System lizenzpflichtig Volltext, https://swbplus.bsz-bw.de/bsz367686635cov.jpg V:DE-576 X:springer image/jpeg 20140207104210 Cover, https://zbmath.org/?q=an:1241.68020 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext, http://deposit.d-nb.de/cgi-bin/dokserv?id=4040511&prov=M&dok_var=1&dok_ext=htm X: MVB text/html 2013-05-01 Verlag Inhaltstext, http://d-nb.info/1022401270/04 B:DE-101 application/pdf 2013-05-01 Verlag Inhaltsverzeichnis, (DE-627)718776518, http://dx.doi.org/10.1007/978-3-642-30793-5 DE-14, DE-14 epn:334999959X 2012-07-04T16:23:26Z, http://dx.doi.org/10.1007/978-3-642-30793-5 DE-15, DE-15 epn:3349999735 2012-07-04T16:23:26Z, http://dx.doi.org/10.1007/978-3-642-30793-5 DE-Ch1, DE-Ch1 epn:3349999794 2012-07-04T16:23:26Z, http://dx.doi.org/10.1007/978-3-642-30793-5 Zum Online-Dokument DE-Zi4, DE-Zi4 epn:3349999824 2012-07-04T16:23:26Z, http://dx.doi.org/10.1007/978-3-642-30793-5 DE-520, DE-520 epn:3349999867 2012-07-04T16:23:26Z
spellingShingle	Giese, Holger, Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings, Lecture notes in computer science, 7273, This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 16 revised full papers presented were carefully reviewed and selected from 42 submissions. They cover a wide range of topics combining theory and practice in application areas of telecommunication services, Internet, embedded and real-time systems, networking and communication security and reliability, sensor networks, service-oriented architecture, and Web services., Computer Communication Networks, Logic design, Computer Science, Electronic data processing Distributed processing Congresses, Formal methods (Computer science) Congresses, Computer science, Software engineering, Computer programming., Compilers (Computer programs)., Computer networks ., Machine theory., Konferenzschrift 2011 Reykjavik, Konferenzschrift 2012 Stockholm, Verteiltes System, Formale Methode
swb_id_str	367686635
title	Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
title_auth	Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
title_full	Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings edited by Holger Giese, Grigore Rosu
title_fullStr	Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings edited by Holger Giese, Grigore Rosu
title_full_unstemmed	Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings edited by Holger Giese, Grigore Rosu
title_in_hierarchy	7273. Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings (2012)
title_short	Formal Techniques for Distributed Systems
title_sort	formal techniques for distributed systems joint 14th ifip wg 6 1 international conference fmoods 2012 and 32nd ifip wg 6 1 international conference forte 2012 stockholm sweden june 13 16 2012 proceedings
title_sub	Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
title_unstemmed	Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
topic	Computer Communication Networks, Logic design, Computer Science, Electronic data processing Distributed processing Congresses, Formal methods (Computer science) Congresses, Computer science, Software engineering, Computer programming., Compilers (Computer programs)., Computer networks ., Machine theory., Konferenzschrift 2011 Reykjavik, Konferenzschrift 2012 Stockholm, Verteiltes System, Formale Methode
topic_facet	Computer Communication Networks, Logic design, Computer Science, Electronic data processing, Formal methods (Computer science), Computer science, Software engineering, Computer programming., Compilers (Computer programs)., Computer networks ., Machine theory., Distributed processing, Konferenzschrift, Verteiltes System, Formale Methode
url	https://doi.org/10.1007/978-3-642-30793-5, http://dx.doi.org/10.1007/978-3-642-30793-5, https://swbplus.bsz-bw.de/bsz367686635cov.jpg, https://zbmath.org/?q=an:1241.68020, http://deposit.d-nb.de/cgi-bin/dokserv?id=4040511&prov=M&dok_var=1&dok_ext=htm, http://d-nb.info/1022401270/04