Stable Predicate Detection in Dynamic Systems.

Donald Darling, Jean Mayo, Xinli Wang

Browse the full OPODIS paper archive.