dblp.uni-trier.dewww.uni-trier.de

Rostislav Rusev

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)