Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
11 results · clear filters Sort: newest oldest name
- IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)Computer and information sciencess10b3f7
- ACM Conference on Embedded Networked Sensor Systems (SenSys)Computer and information sciencess10mgwc
- Formal Methods in Computer-Aided Design (FMCAD)Computer and information sciencess109pp9
- Formal Methods in Computer-Aided Design 2009 (FMCAD 2009, FMCAD)Computer and information sciencese113k8m
- Formal Methods in Computer-Aided Design 2008 (FMCAD 2008, FMCAD)Computer and information sciencese113k7p
- Formal Methods in Computer-Aided Design 2007 (FMCAD 2007, FMCAD)Computer and information sciencese113k6r
- Formal Methods in Computer-Aided Design 2006 (FMCAD 2006, FMCAD)Computer and information sciencese113k5t
- Formal Methods in Computer-Aided Design 2004 (FMCAD 2004, FMCAD)Computer and information sciencese103bha
- Formal Methods in Computer-Aided Design 2002 (FMCAD 2002, FMCAD)Computer and information sciencese103bgc
- Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME 2001, CHARME)Computer and information sciencese101dge
- Formal Methods in Computer-Aided Design 2000 (FMCAD 2000, FMCAD)Computer and information sciencese103bff
As JSON: https://labs.confref.org/api/search?discipline=Q3966&from=2000&to=2009