Jürgen Cleve

	1994
3		Jürgen Cleve, Dieter Hutter: A Methodology for Equational Reasoning. HICSS (3) 1994: 569-579
	1993
2		Markus Ullmann, H. Hauff, D. Loevenich, P. Kejwal, R. Förster, P. Baur, Wolfgang Reif, Werner Stephan, Andreas Wolpers, Jürgen Cleve, Dieter Hutter, Claus Sengler, E. Canver: VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien. VIS 1993: 175-190
	1992
1		Jürgen Cleve, Steffen Hölldobler, Jörg Würtz: 7. Workshop Logische Programmierung und 8. Jahrestreffen der GI-Fachgruppe 1.2.1 ``Deduktionssysteme''. KI 6(2): 46-47 (1992)

Coauthor Index

1	P. Baur	[2]
2	E. Canver	[2]
3	R. Förster	[2]
4	H. Hauff	[2]
5	Steffen Hölldobler	[1]
6	Dieter Hutter	[2] [3]
7	P. Kejwal	[2]
8	D. Loevenich	[2]
9	Wolfgang Reif	[2]
10	Claus Sengler	[2]
11	Werner Stephan	[2]
12	Markus Ullmann	[2]
13	Andreas Wolpers	[2]
14	Jörg Würtz	[1]

Colors in the list of coauthors

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