Rostislav Rusev

	2007
2		Christoph Weidenbach, Renate A. Schmidt, Thomas Hillenbrand, Rostislav Rusev, Dalibor Topic: System Description: SpassVersion 3.0. CADE 2007: 514-520
1		Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev: Formal Device and Programming Model for a Serial Interface. VERIFY 2007

Coauthor Index

1	Eyad Alkassar	[1]
2	Mark A. Hillebrand	[1]
3	Thomas Hillenbrand	[2]
4	Steffen Knapp	[1]
5	Renate A. Schmidt	[2]
6	Dalibor Topic	[2]
7	Sergey Tverdyshev	[1]
8	Christoph Weidenbach	[2]

Colors in the list of coauthors