|
Search the dblp DataBase
Ingo Brückner:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ingo Brückner, Heike Wehrheim
Slicing an Integrated Formal Method for Verification. [Citation Graph (0, 0)][DBLP] ICFEM, 2005, pp:360-374 [Conf]
- Ingo Brückner, Heike Wehrheim
Slicing Object-Z Specifications for Verification. [Citation Graph (0, 0)][DBLP] ZB, 2005, pp:414-433 [Conf]
- Ralf Buschermöhle, Mark Brörkens, Ingo Brückner, Werner Damm, Wilhelm Hasselbring, Bernhard Josko, Christoph Schulte, Thomas Wolf
Model Checking (Grundlagen und Praxiserfahrungen). [Citation Graph (0, 0)][DBLP] Informatik Spektrum, 2004, v:27, n:2, pp:146-158 [Journal]
- Ingo Brückner
Slicing Concurrent Real-Time System Specifications for Verification. [Citation Graph (0, 0)][DBLP] IFM, 2007, pp:54-74 [Conf]
- Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim
Slicing Abstractions. [Citation Graph (0, 0)][DBLP] FSEN, 2007, pp:17-32 [Conf]
Search in 0.001secs, Finished in 0.001secs
|