How to Analyze Graph-Based Models - Www-st.inf.tu-dresden.de ...
How to Analyze Graph-Based Models - Www-st.inf.tu-dresden.de ...
How to Analyze Graph-Based Models - Www-st.inf.tu-dresden.de ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Searching <<strong>st</strong>rong>Graph</<strong>st</strong>rong>s – Searching in<br />
Specifications with Datalog and EARS<br />
Softwaretechnologie II, © Prof. Uwe Aßmann<br />
49