Gaya APA
Lee, Pike. ().
A note on incosistent axioms in Rushby's : 'Systematic formal verification for fault-tolerant time-triggered algorithms' .
:
.
Gaya Chicago
Lee, Pike.
A note on incosistent axioms in Rushby's : 'Systematic formal verification for fault-tolerant time-triggered algorithms'.
:
,
.
Text.
Gaya MLA
Lee, Pike.
A note on incosistent axioms in Rushby's : 'Systematic formal verification for fault-tolerant time-triggered algorithms'.
:
,
.
Text.
Gaya Turabian
Lee, Pike.
A note on incosistent axioms in Rushby's : 'Systematic formal verification for fault-tolerant time-triggered algorithms'.
:
,
.
Print.