Formal verification-driven parallelisation synthesis

Botinčan, Matko

doi:10.17863/CAM.21221

Request a copy of the file

Enter the following information to request a copy for the following item: Formal verification-driven parallelisation synthesis

Requesting the following file: Botinčan-2018-PhD.pdf

Information: This item is under controlled access. To request this item please enter the following information. You will then receive instructions on next steps.

Name *

Your email address *This email address is used for sending the file.

Files

All files (of this item) in restricted access

Only the requested file

Message

Please enter information about why you require access to this item that will be sent to the author or person responsible. You can include information about your occupation, your research, how you discovered the item, if you know the author, and why you want to view this item.

I confirm that I request a copy of this work for my individual use only and not on behalf of someone else. I understand that I am not authorised to quote, translate, publish, archive, or share with a third party the whole or any part of the work without obtaining explicit consent from the author

In order to submit the request you must accept the Request a copy (Google reCaptcha) cookies.

Open cookie settings

Back