Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys

Login to this database

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)

Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

	Year		Title	BibTeX cite key
Damm, Disch, Hungar, Pang, Pigorsch, Scholl, Waldmann, Wirtz
Damm, Pinto, Ratschan
Daum, Maus, Schirmer, Seghir
de Nivelle
de Nivelle, Areces, de Rijke
de Nivelle, Baumgartner, Fuchs, Tinelli
de Nivelle, Bezem, Hendriks
de Nivelle, Blackburn, Bos, Kohlhase
de Nivelle, de Rijke
de Nivelle, Demri
de Nivelle, Hustadt, Schmidt
de Nivelle, Kazakov
de Nivelle, Meng
de Nivelle, Piskac
de Nivelle, Pratt-Hartmann
de Nivelle, Schulz (ed.)
de Raedt, Jaeger, Lee, Mannila
Degtyarev, Gurevich, Narendran, Veanes, Voronkov
Delahaye, Jaume, Prevosto
Delzanno
Delzanno, Esparza, Podelski
Delzanno, Galmiche, Martelli
Delzanno, Podelski
	2001		Constraint-based Deductive Model Checking In: International Journal on Software Tools for Technology Transfer (STTT) [3], 250-270	DP-STTT01
	1999		Model Checking in CLP In: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS-99), 223-239	Podelski1998
Delzanno, Raskin
Dimitrova
Dimopoulos
Dimopoulos, Magirou
Dimopoulos, Magirou, Papadimitriou

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)