
SVtL: System Verification through Logic: tool support for verifying sliced hierarchical statecharts
- Author
- Sara Van Langenhove and Albert Hoogewijs (UGent)
- Organization
Downloads
-
Ardennen SVL Abstract.pdf
- full text
- |
- open access
- |
- |
- 27.85 KB
Citation
Please use this url to cite or link to this publication: http://hdl.handle.net/1854/LU-338736
- 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}}, }