Sara Van Langenhove

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2006

1 Sara Van Langenhove, Albert Hoogewijs: SV_tL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts. WADT 2006: 142-155

	2006
1		Sara Van Langenhove, Albert Hoogewijs: SV_tL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts. WADT 2006: 142-155

Coauthor Index

1 Albert Hoogewijs [1]