Formal techniques for networked and distributed systems -- FORTE 2003. 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29 -- October 2, 2003. Proceedings
From MaRDI portal
(Redirected from Publication:1414845)
WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.