E. -R Olderog

Identifiers

Open LibraryOL9694729A

Books by E. -R Olderog

Total count: 2

Real-Time SystemsFormal Specification and Automatic Verification

Cambridge University Press2008-01-01
Nets, Terms and FormulasThree Views of Concurrent Processes and Their Relationship

Cambridge University Press2010-01-01