Routing - A Challenge to Formal Methods.

Joy N. Reed, Jane E. Sinclair

Browse the full PDPTA paper archive.