Cardell-Oliver, Rachel
1  Ergebnisse:
Personensuche X
?
1

Combining Tools for the Veriflcation of Fault-Tolerant Syst..:

, In: Tools for system development and verification / Jan Peleska. Ed. by Bettina Buth ...
Buth, Bettina ; Cardell-Oliver, Rachel. (1998)  - p. 41-69
Exemplar:  Zentrale:Magazin 01.g.6290
 
1-1