Recommended Item: High level synthesis of protocols described by a formal description technique

To recommend this item to someone, complete the form below. Fields marked with a '*' are required.