1 Einträge gefunden

1. A case study in the mechanical verification of fault tolerance

   1. Mantel, Heiko
   2. Gartner, Felix C.

   2000 - TUHH Open Research