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

Björn Metzler

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

2008
4EEBjörn Metzler, Heike Wehrheim, Daniel Wonisch: Decomposition for Compositional Verification. ICFEM 2008: 105-125
2007
3EEBjörn Metzler: Decomposing Integrated Specifications for Verification. IFM 2007: 459-479
2EEBjörn Metzler, Heike Wehrheim: Extending a Component Specification Language with Time. Electr. Notes Theor. Comput. Sci. 176(2): 47-67 (2007)
2006
1 Ingo Brückner, Björn Metzler, Heike Wehrheim: Optimizing Slicing of Formal Specifications by Deductive Verification. Nord. J. Comput. 13(1-2): 22-45 (2006)

Coauthor Index

1Ingo Brückner [1]
2Heike Wehrheim [1] [2] [4]
3Daniel Wonisch [4]

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