×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [progress properties]
Documents
faculteit technologie management Steps Towards Formal Verification of Agent-based E-Business Applications Nick Szirbik & Gerd Wagner Eindhoven University
218 views
Documents
Characterizing Progress Properties of Concurrent Objects via Contextual Refinements Hongjin Liang Univ. of Science and Technology of China (USTC) Joint
217 views
Documents
Characterizing Progress Properties of Concurrent Objects via Contextual Refinements
50 views