Hristo Pentchev

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2010
c2		Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Hristo Pentchev: Modular specification and verification of interprocess communication. FMCAD 2010: 167-174
	2009
c1		Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev: Invariants, Modularity, and Rights. Ershov Memorial Conference 2009: 43-55

Coauthor Index

1	Eyad Alkassar	[c2] [c1]
2	Vladimir Boyarinov	[c1]
3	Ernie Cohen	[c2] [c1]
4	Markus Dahlweid	[c1]
5	Ulan Degenbaev	[c1]
6	Mark A. Hillebrand	[c2] [c1]
7	Bruno Langenstein	[c1]
8	Dirk Leinenbach	[c1]
9	Michal Moskal	[c1]
10	Steven Obua	[c1]
11	Wolfgang J. Paul	[c1]
12	Elena Petrova	[c1]
13	Thomas Santen	[c1]
14	Norbert Schirmer (Bert Schirmer)	[c1]
15	Sabine Schmaltz	[c1]
16	Wolfram Schulte	[c1]
17	Andrey Shadrin	[c1]
18	Stephan Tobies	[c1]
19	Alexandra Tsyban	[c1]
20	Sergey Tverdyshev	[c1]

Last update Sun May 26 10:05:51 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page