Back to overview
Export results as [feed] RSS 1.0 [feed] RSS 2.0
Order by: Document Type | Year of publication | No order
Number of items: 2.

Article

Mantel, Heiko ; Freiling, Felix (2000) A case study in the mechanical verification of fault tolerance. Journal of Experimental & Theoretical Artificial Intelligence : JETAI London [u.a.] 12 4 473-488 [Article]

Working paper

Mantel, Heiko ; Freiling, Felix (1999) A case study in the mechanical verification of fault tolerance. Technical report TUD-BS Darmstadt 99-08 [Working paper]

This list was created automatically on Wed Apr 8 04:16:43 2020 CEST