Stephanie Kemper

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

2 Stephanie Kemper: SAT-based Verification for Timed Component Connectors. Electr. Notes Theor. Comput. Sci. 255: 103-118 (2009)

2007

1 Stephanie Kemper, André Platzer: SAT-based Abstraction Refinement for Real-time Systems. Electr. Notes Theor. Comput. Sci. 182: 107-122 (2007)

	2009
2		Stephanie Kemper: SAT-based Verification for Timed Component Connectors. Electr. Notes Theor. Comput. Sci. 255: 103-118 (2009)
	2007
1		Stephanie Kemper, André Platzer: SAT-based Abstraction Refinement for Real-time Systems. Electr. Notes Theor. Comput. Sci. 182: 107-122 (2007)

Coauthor Index