11 June 2016: 19:02 : to be submitted to Formal Aspects of Computing Domains Their Simulation, Monitoring and Control — A Divertimento of Ideas and Suggestions — Dines Bjørner1 - Compute! - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2016-06-11 13:03:25		11 June 2016: 19:02 : to be submitted to Formal Aspects of Computing Domains Their Simulation, Monitoring and Control — A Divertimento of Ideas and Suggestions — Dines Bjørner1 Add to Reading List Source URL: www2.compute.dtu.dk Download Document from Source Website File Size: 260,49 KB Share Document on Facebook