Advanced search
1 file | 27.85 KB Add to list

SVtL: System Verification through Logic: tool support for verifying sliced hierarchical statecharts

Author
Organization

Downloads

  • Ardennen SVL Abstract.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 27.85 KB

Citation

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

MLA
Van Langenhove, Sara, and Albert Hoogewijs. “SVtL: System Verification Through Logic: Tool Support for Verifying Sliced Hierarchical Statecharts.” International Workshop on Algebraic Development Techniques, 18th, Abstracts. 2006. 27–27. Print.
APA
Van Langenhove, S., & Hoogewijs, A. (2006). SVtL: System Verification through Logic: tool support for verifying sliced hierarchical statecharts. International Workshop on Algebraic Development Techniques, 18th, Abstracts (pp. 27–27). Presented at the 18th International Workshop on Algebraic Development Techniques.
Chicago author-date
Van Langenhove, Sara, and Albert Hoogewijs. 2006. “SVtL: System Verification Through Logic: Tool Support for Verifying Sliced Hierarchical Statecharts.” In International Workshop on Algebraic Development Techniques, 18th, Abstracts, 27–27.
Chicago author-date (all authors)
Van Langenhove, Sara, and Albert Hoogewijs. 2006. “SVtL: System Verification Through Logic: Tool Support for Verifying Sliced Hierarchical Statecharts.” In International Workshop on Algebraic Development Techniques, 18th, Abstracts, 27–27.
Vancouver
1.
Van Langenhove S, Hoogewijs A. SVtL: System Verification through Logic: tool support for verifying sliced hierarchical statecharts. International Workshop on Algebraic Development Techniques, 18th, Abstracts. 2006. p. 27–27.
IEEE
[1]
S. Van Langenhove and A. Hoogewijs, “SVtL: System Verification through Logic: tool support for verifying sliced hierarchical statecharts,” in International Workshop on Algebraic Development Techniques, 18th, Abstracts, La Roche en Ardenne, Belgium, 2006, pp. 27–27.
@inproceedings{338736,
  author       = {{Van Langenhove, Sara and Hoogewijs, Albert}},
  booktitle    = {{International Workshop on Algebraic Development Techniques, 18th, Abstracts}},
  language     = {{eng}},
  location     = {{La Roche en Ardenne, Belgium}},
  pages        = {{27--27}},
  title        = {{SVtL: System Verification through Logic: tool support for verifying sliced hierarchical statecharts}},
  year         = {{2006}},
}