Home

D.__Schwier


Formalization of the CA Action Concept Based on Temporal Logic. Design for validation (deva) basic esprit project. second year report. part 2

Mechanical verification of clock synchronization algorithms