Academic Bibliography

 Search 200 years of publications by Ghent University researchers.
Advanced search
1 file | 27.85 KB
Add to list
  1. Search results
  2. SVtL: System Verification through Log...

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

Sara Van Langenhove and Albert Hoogewijs (UGent)
(2006) International Workshop on Algebraic Development Techniques, 18th, Abstracts. p.27-27
Author
Organization

Downloads

  • Download
    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, pp. 27–27.
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, 27–27.
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. In: 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}},
}