Inproceedings,

Verification by Simulation Comparison using Interface Synthesis.

, , and .
DATE, page 436-443. IEEE Computer Society, (1998)

Meta data

Tags

Users

  • @dblp

Comments and Reviews