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

Bruno Langenstein

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

2007
7EEBruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan: Verification of Distributed Applications. SAFECOMP 2007: 315-328
6EEBruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan: A History-based Verification of Distributed Applications. VERIFY 2007
2005
5EEWerner Stephan, Bruno Langenstein, Andreas Nonnengart, Georg Rock: Verification Support Environment. Mechanizing Mathematical Reasoning 2005: 476-493
2000
4 Bruno Langenstein, Roland Vogt, Markus Ullmann: The Use of Formal Methods for Trusted Digital Signature Devices. FLAIRS Conference 2000: 336-340
3 Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt: Formal software development in the Verification Support Environment (VSE). J. Exp. Theor. Artif. Intell. 12(4): 383-406 (2000)
2EESerge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers: VSE: formal methods meet industrial needs. STTT 3(1): 66-77 (2000)
1996
1 Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers: Deduction in the Verification Support Environment (VSE). FME 1996: 268-286

Coauthor Index

1Serge Autexier [2]
2Dieter Hutter [1] [2] [3]
3Heiko Mantel [2]
4Andreas Nonnengart [5] [6] [7]
5Georg Rock [2] [3] [5] [6] [7]
6Axel Schairer [2]
7Claus Sengler [1]
8Jörg H. Siekmann [1] [3]
9Werner Stephan [1] [2] [3] [5] [6] [7]
10Markus Ullmann [4]
11Roland Vogt [2] [3] [4]
12Andreas Wolpers [1] [2]

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