|
Search the dblp DataBase
Sebastian Kinder:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Görschwin Fey, Sebastian Kinder, Rolf Drechsler
Using Games for Benchmarking and Representing the Complete Solution Space using Symbolic Techniques. [Citation Graph (0, 0)][DBLP] ISMVL, 2003, pp:361-366 [Conf]
- Sebastian Kinder, Görschwin Fey, Rolf Drechsler
Controlling the Memory During Manipulation of Word-Level Decision Diagrams. [Citation Graph (0, 0)][DBLP] ISMVL, 2005, pp:250-255 [Conf]
- Rolf Drechsler, Görschwin Fey, Sebastian Kinder
An Integrated Approach for Combining BDD and SAT Provers. [Citation Graph (0, 0)][DBLP] VLSI Design, 2006, pp:237-242 [Conf]
Proving Completeness of Properties in Formal Verification of Counting Heads for Railways. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|