- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Formal Aspects of Computing, 30, 5, S. 597-625
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2017
- Event
-
Veröffentlichung
- (who)
-
Springer Nature America, Inc
- (when)
-
2017
- Creator
- URN
-
urn:nbn:de:bvb:384-opus4-406134
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:39 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Derrick, John
- Doherty, Simon
- Dongol, Brijesh
- Schellhorn, Gerhard
- Travkin, Oleg
- Wehrheim, Heike
- Universität Augsburg
- Springer Nature America, Inc
Time of origin
- 2017
Other Objects (12)
Mechanized proofs of opacity: a comparison of two techniques
Opacity
A mechanized theory of aspects
Against Opacity
Opacity Atmospheric: Submilimetric opacity variability in minute scales
Mechanized verification of imperative and functional programs
Mechanized semantics of simple imperative programming constructs
Verifying Opacity of Discrete-Timed Automata
Proofs of Feuerbach's theorem.
The Virtues Of Negative Fascination: Five Mechanized Performances
A contribution to modeling of mechanized tunnel excavation
Computational analysis of segmental linings in mechanized tunneling
Mechanized proofs of opacity: a comparison of two techniques
Opacity
A mechanized theory of aspects
Against Opacity
Opacity Atmospheric: Submilimetric opacity variability in minute scales
Mechanized verification of imperative and functional programs
Mechanized semantics of simple imperative programming constructs
Verifying Opacity of Discrete-Timed Automata
Proofs of Feuerbach's theorem.
The Virtues Of Negative Fascination: Five Mechanized Performances
A contribution to modeling of mechanized tunnel excavation
Computational analysis of segmental linings in mechanized tunneling
Mechanized proofs of opacity: a comparison of two techniques
Opacity
A mechanized theory of aspects
Against Opacity
Opacity Atmospheric: Submilimetric opacity variability in minute scales
Mechanized verification of imperative and functional programs
Mechanized semantics of simple imperative programming constructs
Verifying Opacity of Discrete-Timed Automata
Proofs of Feuerbach's theorem.
The Virtues Of Negative Fascination: Five Mechanized Performances
A contribution to modeling of mechanized tunnel excavation