|
Search the dblp DataBase
Claus Schröter:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Claus Schröter, Stefan Schwoon, Javier Esparza
The Model-Checking Kit. [Citation Graph (0, 0)][DBLP] ICATPN, 2003, pp:463-472 [Conf]
- Claus Schröter, Victor Khomenko
Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings. [Citation Graph (0, 0)][DBLP] CAV, 2004, pp:109-121 [Conf]
- Javier Esparza, Claus Schröter
Net Reductions for LTL Model-Checking. [Citation Graph (0, 0)][DBLP] CHARME, 2001, pp:310-324 [Conf]
- Sergei Hludov, Claus Schröter, Christoph Meinel
Adaptive compression of image data. [Citation Graph (0, 0)][DBLP] SYBEN, 1998, pp:520-527 [Conf]
- Javier Esparza, Claus Schröter
Unfolding Based Algorithms for the Reachability Problem. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2001, v:47, n:3-4, pp:231-245 [Journal]
Search in 0.002secs, Finished in 0.003secs
|