- ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author_facet Henzinger, Thomas

Showing 1 - 1 of 1 results

Search Results

Cover image for Proceedings of the joint meeting of the twenty-third EACSL annual Conference on Computer Science Logic (CSL) and the twenty-ninth annual ACM/IEEE Symposium on Logic in Computer Science (LICS

Proceedings of the joint meeting of the twenty-third EACSL annual Conference on Computer Science Logic (CSL) and the twenty-ninth annual ACM/IEEE Symposium on Logic in Computer Science (LICS

by Henzinger, Thomas
2014
Format: Electronic

Location
Access Content Online