Volker Nimbler

According to our database, Volker Nimbler authored at least 2 papers between 2006 and 2007.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2007

Multi-Level Assertion-Based Design.

Hans Eveking, Martin Braun, Martin Schickel, Martin Schweikert, Volker Nimbler

Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007

2006

On Consistency and Completeness of Property-Sets.

Martin Schickel, Volker Nimbler, Martin Braun, Hans Eveking

Proceedings of the Forum on specification and Design Languages, 2006