Robert Stärk

Identifiers

Open LibraryOL9700055A

Books by Robert Stärk

Total count: 2

Proof Theory in Computer ScienceInternational Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

Springer London, Limited2003-01-01
Abstract State MachinesA Method for High-Level System Design and Analysis

Springer London, Limited2012-01-01