Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

Felix C. Gärtner
Darmstadt University of Technology, Germany

F. C. Gärtner:
Transformational Approaches to the Specification and Verification of Fault-Tolerant Systems: Formal Background and Classification
/jucs_5_10/transformational_approaches_to_the
page 668 - 692
Vol.5 / Issue 10