Andrei Tchaltsev

	2008
2		Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev: Diagnostic Information for Realizability. VMCAI 2008: 52-67
	2007
1		Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev: RAT: A Tool for the Formal Analysis of Requirements. CAV 2007: 263-267

Coauthor Index

1	Roderick Bloem	[1]
2	Roberto Cavada	[1]
3	Alessandro Cimatti	[2]
4	Ingo Pill	[1]
5	Marco Roveri	[1] [2]
6	Viktor Schuppan	[2]