Claus Schröter

	2004
5		Claus Schröter, Victor Khomenko: Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings. CAV 2004: 109-121
	2003
4		Claus Schröter, Stefan Schwoon, Javier Esparza: The Model-Checking Kit. ICATPN 2003: 463-472
	2001
3		Javier Esparza, Claus Schröter: Net Reductions for LTL Model-Checking. CHARME 2001: 310-324
2		Javier Esparza, Claus Schröter: Unfolding Based Algorithms for the Reachability Problem. Fundam. Inform. 47(3-4): 231-245 (2001)
	1998
1		Sergei Hludov, Claus Schröter, Christoph Meinel: Adaptive compression of image data. SYBEN 1998: 520-527

Coauthor Index

1	Javier Esparza	[2] [3] [4]
2	Sergei Hludov	[1]
3	Victor Khomenko	[5]
4	Christoph Meinel	[1]
5	Stefan Schwoon	[4]

Colors in the list of coauthors