Refinement of Kripke Models for Dynamics.

Francien Dechesne, Simona Orzan, Yanjing Wang

Browse the full ICTAC paper archive.