Paper by Rajagopal Nagarajan accepted at TACAS 2013

The paper “Equivalence Checking of Quantum Protocols” by Ebrahim Ardeshir-Larijani, Simon Gay and Rajagopal Nagarajan has been accepted at TACAS 2013. The conference is part of ETAPS, the European Joint Conferences on Theory and Practice of Software. ETAPS is the primary European forum for academic and industrial researchers working on topics relating to Software Science and this year it will be held in Rome, Italy from 16th to 24th March.

This entry was posted in Uncategorized. Bookmark the permalink.

Leave a Reply

Your email address will not be published. Required fields are marked *

Note: If you are replying to another commenter, click the "Reply to {NAME} ↵" button under their comment!