Dilyana Dimova

	2009
1		Christoph Weidenbach, Dilyana Dimova, Arnaud Fietzke, Rohit Kumar, Martin Suda, Patrick Wischnewski: SPASS Version 3.5. CADE 2009: 140-145

Coauthor Index

1	Arnaud Fietzke	[1]
2	Rohit Kumar	[1]
3	Martin Suda	[1]
4	Christoph Weidenbach	[1]
5	Patrick Wischnewski	[1]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page