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
	2005		Integration of a Software Model Checker into Isabelle In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, 381-395	DMSSISAMC2005
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
Delzanno, Raskin
Dimitrova
Dimopoulos
Dimopoulos, Magirou
Dimopoulos, Magirou, Papadimitriou
Domshlak, Hoffmann

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