Ernst-Rüdiger Olderog's Documents

Ernst-Rüdiger Olderog's Documents

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September
Read more
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship
Read more
Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science)

Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science)
Read more
Real-Time Systems: Formal Specification and Automatic Verification

Real-Time Systems: Formal Specification and Automatic Verification
Read more
Correct System Design

Correct System Design
Read more
Correct System Design

Correct System Design
Read more
Real-Time Systems: Formal Specification and Automatic Verification

Real-Time Systems: Formal Specification and Automatic Verification
Read more
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science, Volume 23)

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science, Volume 23)
Read more
Correct system design: recent insights and advances (Lecture Notes in Computer Science 1710)

Correct system design: recent insights and advances (Lecture Notes in Computer Science 1710)
Read more
Verification of Sequential and Concurrent Programs (3rd edition) (Texts in Computer Science)

Verification of Sequential and Concurrent Programs (3rd edition) (Texts in Computer Science)
Read more
Lawyers against Labor: From Individual Rights to Corporate Liberalism (Working Class in American History)

Lawyers against Labor: From Individual Rights to Corporate Liberalism (Working Class in American History)
Read more
The Political Science Toolbox: A Research Companion to American Government

The Political Science Toolbox: A Research Companion to American Government
Read more
Martin Heidegger: Between Good and Evil

Martin Heidegger: Between Good and Evil
Read more
Hard-to-Measure Goods and Services: Essays in Honor of Zvi Griliches

Hard-to-Measure Goods and Services: Essays in Honor of Zvi Griliches
Read more
Hard-to-Measure Goods and Services: Essays in Honor of Zvi Griliches (National Bureau of Economic Research Studies in Income and Wealth)

Hard-to-Measure Goods and Services: Essays in Honor of Zvi Griliches (National Bureau of Economic Research Studies in Income and Wealth)
Read more
Verification of sequential and concurrent programs

Verification of sequential and concurrent programs
Read more
Der Cockpit-Dämon

Der Cockpit-Dämon
Read more
Der Cockpit-Dämon

Der Cockpit-Dämon
Read more
Die Todesengel von Hangay

Die Todesengel von Hangay
Read more
Die Todesengel von Hangay

Die Todesengel von Hangay
Read more
Die Uhren von Wanderer

Die Uhren von Wanderer
Read more
Space And Geometry In The Light Of Physiological, Psychological And Physical Inquiry

Space And Geometry In The Light Of Physiological, Psychological And Physical Inquiry
Read more
Wächter der Totenküste

Wächter der Totenküste
Read more
Im Namen Vestas

Im Namen Vestas
Read more
Ueber den Accent und die Aussprache des Persischen

Ueber den Accent und die Aussprache des Persischen
Read more
Entscheidung am Ereignishorizont

Entscheidung am Ereignishorizont
Read more
Heliopolis

Heliopolis
Read more
Der Smiler und die Attentäter

Der Smiler und die Attentäter
Read more
Životinjske vrste i evolucija

Životinjske vrste i evolucija
Read more
Colounshabas Waffe

Colounshabas Waffe
Read more