International School on Formal Methods for the Design of Computer, Communication, and Software Systems
VIAF ID: 148095491 ( Corporate )
Permalink: http://viaf.org/viaf/148095491
Preferred Forms
- 111 2 _ ‡a International School on Formal Methods for the Design of Computer, Communication and Software Systems
- 110 2 _ ‡a International School on Formal Methods for the Design of Computer, Communication and Software Systems
-
-
- 111 2 _ ‡a International School on Formal Methods for the Design of Computer, Communication, and Software Systems
-
-
4xx's: Alternate Name Forms (7)
Works
Title | Sources |
---|---|
Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures |