Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
9 results · clear filters Sort: newest oldest name
- International Conference on Runtime Verification (RV)Computer and information sciencess10agt5
- International Workshop on Runtime Verification (RV)Computer and information sciencese107epn
- International Workshop on Runtime Verification (RV)Computer and information sciencese107enq
- International Workshop on Runtime Verification (RV)Computer and information sciencese107ems
- Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV 2005, Edinburgh, UK, July 12, 2005Computer and information sciencese11qq1n
- Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS 2004, Barcelona, Spain, April 3, 2004Computer and information sciencese120gpz
- Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003Computer and information sciencese11qq0q
- Runtime Verification 2002, RV 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002Computer and information sciencese11qpzs
- Workshop on Runtime Verification, RV 2001, in connection with CAV 2001, Paris, France, July 23, 2001Computer and information sciencese11qpyv
As JSON: https://labs.confref.org/api/search?series=s10agt5&from=2000&to=2009