Back to Results
First PageMeta Content
I0 / Invariant / XC


Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2
Add to Reading List

Document Date: 2017-01-24 06:23:37


Open Document

File Size: 482,91 KB

Share Result on Facebook