Article,

Synthesizing Finite-state Protocols from Scenarios and Requirements.

, , , , , and .
CoRR, (2014)

Meta data

Tags

Users

  • @dblp

Comments and Reviews