|
Search the dblp DataBase
Jürgen Cleve:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jürgen Cleve, Dieter Hutter
A Methodology for Equational Reasoning. [Citation Graph (0, 0)][DBLP] HICSS (3), 1994, pp:569-579 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] VIS, 1993, pp:175-190 [Conf]
- Jürgen Cleve, Steffen Hölldobler, Jörg Würtz
7. Workshop Logische Programmierung und 8. Jahrestreffen der GI-Fachgruppe 1.2.1 ``Deduktionssysteme''. [Citation Graph (0, 0)][DBLP] KI, 1992, v:6, n:2, pp:46-47 [Journal]
Search in 0.001secs, Finished in 0.001secs
|