Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Formal techniques for distributed systems. Joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7--9, 2010. Proceedings - MaRDI portal

Formal techniques for distributed systems. Joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7--9, 2010. Proceedings

From MaRDI portal
Publication:976294

DOI10.1007/978-3-642-13464-7zbMATH Open1189.68010OpenAlexW1637375962WikidataQ56501637 ScholiaQ56501637MaRDI QIDQ976294

Author name not available (Why is that?)

Publication date: 17 June 2010

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-13464-7




No records found.








This page was built for publication: Formal techniques for distributed systems. Joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7--9, 2010. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q976294)