Publications (150,633)

Comparison of Techniques for the Automatic Verification of ADeVA Specifications

Dinkel T, Haubelt C, Heinkel U, Schlichter T, Knäblein J, Schock T, Teich J (2005)

Conference contribution

Braun M (2005)

Journal article

Miller GE, Rohleder N, Stetler C, Kirschbaum C (2005)

Journal article, Original article

Voigt KI, Saatmann M (2005)

Other publication type

Iglberger K, Thürey N, Rüde U, Peukert W, Schmid HJ (2005)

Conference contribution

Gastel A, Grotowski JF, Kronz M (2005)

Journal article

Leslie SA, Lehnert O (2005)

Journal article

Lehnert O, Miller JF, Leslie SA, Repetski JE, Ethington RL (2005)

Journal article

Kreis O, Celeghini M, Merklein M (2005)

Conference contribution, Conference Contribution

Christadler I, Köstler H, Rüde U (2005)

Conference contribution

‹ 1 ... 13,487 13,488 13,489 13,490 13,491 ... 15,064 ›