Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
14 results · clear filters Sort: newest oldest name
- International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM)Computer and information sciencese107v4d
- International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM)Computer and information sciencese107v3f
- International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM)Computer and information sciencese107v2h
- International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM)Computer and information sciencese107v1k
- International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM)Computer and information sciencese107v0n
- International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM)Computer and information sciencese107tzq
- International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM)Computer and information sciencese107tys
- International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM)Computer and information sciencese107txv
- International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM)Computer and information sciencese107twx
- International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2007, SFM)Computer and information sciencese107tvz
- International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM)Computer and information sciencese107tt1
- Formal Methods for Mobile Computing, 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures (SFM)Computer and information sciencese11sf8b
- 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 (SFM)Computer and information sciencese11sf7d
- International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM)Computer and information sciencese107ts3
As JSON: https://labs.confref.org/api/search?discipline=Q21198&series=s10ajyv&country=IT