First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 482,91 KBShare Document on Facebook |