Publications

Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics

Hulette, Geoffrey C.; Armstrong, Robert C.; Mayo, Jackson M.; Ruthruff, Joseph R.

Abstract not provided.