Reachability Analysis of Planar Multi-limear Systems.

Oded Maler, Amir Pnueli

Browse the full CAV paper archive.