Search by property
		
		
		
		
		
		Jump to navigation
		Jump to search
		
		
	
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- CC 2002 + (January 18, 2002)
 - ETAPS 2002 + (January 18, 2002)
 - TACAS 2002 + (January 18, 2002)
 
- CAIP 2003 + (May 19, 2003)
 - TACAS 2004 + (January 9, 2004)
 - ICIAR 2004 + (June 22, 2004)
 - TACAS 2005 + (January 7, 2005)
 - FASE 2005 + (January 7, 2005)
 - ESOP 2005 + (January 7, 2005)
 - CC 2005 + (January 7, 2005)
 - ETAPS 2005 + (January 7, 2005)
 - AIED 2005 + (April 29, 2005)
 - ICIAR 2005 + (May 24, 2005)
 - OPODIS 2005 + (October 30, 2005)
 - TACAS 2006 + (January 6, 2006)
 - FASE 2006 + (January 6, 2006)
 - ESOP 2006 + (January 6, 2006)
 - CC 2006 + (January 6, 2006)
 - ETAPS 2006 + (January 6, 2006)
 - ICIAR 2006 + (May 24, 2006)
 - OPODIS 2006 + (October 2, 2006)
 - TACAS 2007 + (January 5, 2007)
 - FASE 2007 + (January 5, 2007)
 - CC 2007 + (January 5, 2007)
 - ICVS 2007 + (February 15, 2007)
 - ICIAR 2007 + (May 7, 2007)
 - CAIP 2007 + (June 4, 2007)
 - FCV 2008 + (December 20, 2007)
 - SAS 2009 + (January 1, 2008)
 - CC 2008 + (January 4, 2008)
 - FASE 2008 + (January 4, 2008)
 - ESOP 2008 + (January 4, 2008)
 - FOSSACS 2008 + (January 4, 2008)
 - ETAPS 2008 + (January 4, 2008)
 - BPSC 2009 + (January 7, 2008)
 - IV 2009 + (March 25, 2008)
 - ICIAR 2008 + (March 25, 2008)
 - SAC 2009 Programming Languages + (May 23, 2008)
 - LPNMR 2009 + (June 22, 2008)
 - I-KNOW 2008 + (June 30, 2008)
 - DEPEND 2008 + (July 5, 2008)
 - IMC 2008 + (August 27, 2008)
 - SAMT 2008 + (September 15, 2008)
 - CIAWES 2008 + (September 15, 2008)
 - PDCS 2008 + (September 15, 2008)
 - CSBW 2008 + (September 17, 2008)
 - MNRC 2008 + (September 20, 2008)
 - ICPADS 2008 + (September 25, 2008)