Bernhard Steffen's Documents

Bernhard Steffen's Documents

Tools and Algorithms for the Construction and Analysis of Systems, 4 conf., TACAS '98

Tools and Algorithms for the Construction and Analysis of Systems, 4 conf., TACAS '98
Read more
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)
Read more
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Read more
Verification, Model Checking, and Abstract Interpretation, 5 conf., VMCAI 2004

Verification, Model Checking, and Abstract Interpretation, 5 conf., VMCAI 2004
Read more
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
Read more
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Read more
Tools and Algorithms for the Construction and Analysis of Systems, 2 conf., TACAS '96

Tools and Algorithms for the Construction and Analysis of Systems, 2 conf., TACAS '96
Read more
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)
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
Correct System Design

Correct System Design
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
Correct System Design

Correct System Design
Read more
Ritters 10x10 fur Finanzdienstleister und Versicherungsvermittler: 100 Fragen, 100 Antworten, 100 Bilder fur Ihren unternehmerischen Erfolg

Ritters 10x10 fur Finanzdienstleister und Versicherungsvermittler: 100 Fragen, 100 Antworten, 100 Bilder fur Ihren unternehmerischen Erfolg
Read more
Jugend und Kriegsgefahr

Jugend und Kriegsgefahr
Read more
The Wedding Gift

The Wedding Gift
Read more
The Wedding Gift

The Wedding Gift
Read more
Gambit Guide to the Bogo-Indian

Gambit Guide to the Bogo-Indian
Read more
First, There Is a River

First, There Is a River
Read more
Peak Performance Poker: Revolutionizing the Way You View the Game

Peak Performance Poker: Revolutionizing the Way You View the Game
Read more
Verhör ohne Auftrag

Verhör ohne Auftrag
Read more
Learn iPhone and iPad Cocos2D Game Development

Learn iPhone and iPad Cocos2D Game Development
Read more
United States Military Saddles, 1812-1943

United States Military Saddles, 1812-1943
Read more
A Bride Until Midnight

A Bride Until Midnight
Read more
Defining A British State: Treason and National Identity, 1608-1820 (Studies in Modern History)

Defining A British State: Treason and National Identity, 1608-1820 (Studies in Modern History)
Read more
Sprog og lyd : elementær dansk fonetik

Sprog og lyd : elementær dansk fonetik
Read more
Coupled Model Transformations for QoS Enabled Component-Based Software Design

Coupled Model Transformations for QoS Enabled Component-Based Software Design
Read more
The Moral Economy of Welfare States: Britain and Germany Compared

The Moral Economy of Welfare States: Britain and Germany Compared
Read more
Ich morde heute zehn nach zwölf

Ich morde heute zehn nach zwölf
Read more
Der Templerorden und das Geheimnis des Salomonischen Tempels

Der Templerorden und das Geheimnis des Salomonischen Tempels
Read more
Öl im 21. Jahrhundert. Band II: Alternativen und Strategien

Öl im 21. Jahrhundert. Band II: Alternativen und Strategien
Read more