Björn Metzler

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

4 Björn Metzler, Heike Wehrheim, Daniel Wonisch: Decomposition for Compositional Verification. ICFEM 2008: 105-125

2007

3 Björn Metzler: Decomposing Integrated Specifications for Verification. IFM 2007: 459-479

2 Bjö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)

	2008
4		Björn Metzler, Heike Wehrheim, Daniel Wonisch: Decomposition for Compositional Verification. ICFEM 2008: 105-125
	2007
3		Björn Metzler: Decomposing Integrated Specifications for Verification. IFM 2007: 459-479
2		Bjö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