Sara Van Langenhove

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006

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

2006
1	EE	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]