Advanced search
Add to list

Protocol Conformance through Refinement Mappings in Cadence SMV

Author
Organization

Citation

Please use this url to cite or link to this publication:

MLA
Van Langenhove, Sara. “Protocol Conformance through Refinement Mappings in Cadence SMV.” Proceedings of the Joint BeNeLuxFra Conference in Mathematics, 2005, pp. 50–51.
APA
Van Langenhove, S. (2005). Protocol Conformance through Refinement Mappings in Cadence SMV. In Proceedings of the Joint BeNeLuxFra Conference in Mathematics (pp. 50–51).
Chicago author-date
Van Langenhove, Sara. 2005. “Protocol Conformance through Refinement Mappings in Cadence SMV.” In Proceedings of the Joint BeNeLuxFra Conference in Mathematics, 50–51.
Chicago author-date (all authors)
Van Langenhove, Sara. 2005. “Protocol Conformance through Refinement Mappings in Cadence SMV.” In Proceedings of the Joint BeNeLuxFra Conference in Mathematics, 50–51.
Vancouver
1.
Van Langenhove S. Protocol Conformance through Refinement Mappings in Cadence SMV. In: Proceedings of the Joint BeNeLuxFra Conference in Mathematics. 2005. p. 50–1.
IEEE
[1]
S. Van Langenhove, “Protocol Conformance through Refinement Mappings in Cadence SMV,” in Proceedings of the Joint BeNeLuxFra Conference in Mathematics, 2005, pp. 50–51.
@inproceedings{307433,
  author       = {{Van Langenhove, Sara}},
  booktitle    = {{Proceedings of the Joint BeNeLuxFra Conference in Mathematics}},
  language     = {{und}},
  pages        = {{50--51}},
  title        = {{Protocol Conformance through Refinement Mappings in Cadence SMV}},
  year         = {{2005}},
}