Synthesis Through Unification

Article Details
Title:	Synthesis Through Unification
Article URLs:	https://doi.org/10.1007/978-3-319-21668-3_10
Alternative Article URLs:
Authors:	Rajeev Alur	University of Pennsylvania
	Pavol Cerný	University of Colorado Boulder
	Arjun Radhakrishna	University of Pennsylvania
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://arxiv.org/abs/1104.4306
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1421752, 1138996
DBLP Key:	conf/cav/AlurCR15
Author Comments:

Computer Aided Verification, CAV 2015