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

Claus Schröter

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

2004
5EEClaus Schröter, Victor Khomenko: Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings. CAV 2004: 109-121
2003
4EEClaus Schröter, Stefan Schwoon, Javier Esparza: The Model-Checking Kit. ICATPN 2003: 463-472
2001
3EEJavier 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

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

Colors in the list of coauthors

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