Users of this system, can login to view this document.
Login
Enter the following information to request a copy of the document from the responsible person.
Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations
This email address is used for sending the document.