Vassili Hartonas-Garmhausen

	1997
2		Christel Baier, Edmund M. Clarke, Vassili Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan: Symbolic Model Checking for Probabilistic Processes. ICALP 1997: 430-440
	1996
1		Edmund M. Clarke, Kenneth L. McMillan, Sérgio Vale Aguiar Campos, Vassili Hartonas-Garmhausen: Symbolic Model Checking. CAV 1996: 419-427

Coauthor Index

1	Christel Baier	[2]
2	Sérgio Vale Aguiar Campos	[1]
3	Edmund M. Clarke	[1] [2]
4	Marta Z. Kwiatkowska	[2]
5	Kenneth L. McMillan	[1]
6	Mark Ryan (Mark Dermot Ryan)	[2]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page