articles+ search results

2 articles+ results

View results as:
Number of results to display per page

2. Formal techniques for networked and distributed systems -- FORTE 2004 : 24th IFIP WG 6.1 international conference : Madrid, Spain, September 27-30, 2004 : proceedings. : 24th IFIP TC 6/WG 6.1 international conference on formal techniques for networked and distributed systems : Sep 2004, Madrid, Spain

Catalog

Books, media, physical & digital resources

Guides

Course- and topic-based guides to collections, tools, and services.