Q544459
type: Item
instance of: scholarly article
title: Formal techniques for distributed systems. Joint 13th IFIP WG 6.1 international conference, FMOODS 2011, and 31st IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Iceland, June 6--9, 2011. Proceedings
zbMATH Open document ID: 1215.68008
DOI: 10.1007/978-3-642-21461-5
published in: Lecture Notes in Computer Science
publication date: 2011-06-14T00:00:00Z
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68M14
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 5907911
Wikidata QID: Q59416332
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-642-21461-5
OpenAlex ID: W2501334413
DBLP publication ID: conf/forte/2011
Recommended article: Q428471
Recommended article: Q976294
Recommended article: Q1025403
Recommended article: Q1952567
Recommended article: Q590566
Recommended article: Q2451834
Recommended article: Q2419705
Recommended article: Q593103
Recommended article: Q2042393
Recommended article: Q1637920
label: Formal techniques for distributed systems. Joint 13th IFIP WG 6.1 international conference, FMOODS 2011, and 31st IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Iceland, June 6--9, 2011. Proceedings
description: scientific article; zbMATH DE number 5907911