Daniel Wonisch (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Jonas Schrieb, Heike Wehrheim, Daniel Wonisch: Three-Valued Spotlight Abstractions. FM 2009: 106-122

2 Heike Wehrheim, Daniel Wonisch: Compositional CSP Traces Refinement Checking. Electr. Notes Theor. Comput. Sci. 250(2): 135-151 (2009)

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

Selection of 3 from 3 records - Daniel Wonisch has 3 coauthors

3		Jonas Schrieb, Heike Wehrheim, Daniel Wonisch: Three-Valued Spotlight Abstractions. FM 2009: 106-122
2		Heike Wehrheim, Daniel Wonisch: Compositional CSP Traces Refinement Checking. Electr. Notes Theor. Comput. Sci. 250(2): 135-151 (2009)
1		Björn Metzler, Heike Wehrheim, Daniel Wonisch: Decomposition for Compositional Verification. ICFEM 2008: 105-125