![I0 / Invariant / XC I0 / Invariant / XC](https://www.pdfsearch.io/img/d1649a13d6e2ec030f0844691d6cc1a6.jpg) Date: 2017-01-24 06:23:37I0 Invariant XC | | Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2Add to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source Website File Size: 482,91 KBShare Document on Facebook
|