Distributed Theorem Proving for Distributed Hybrid Systems.

David W. Renshaw, Sarah M. Loos, Andr Platzer

Browse the full ICFEM paper archive.