Formal Modelling of Discrete Dynamic Systems.

Heinrich C. Mayr, Peter C. Lockemann

Browse the full PERFORMANCE paper archive.