063e87fe503975821070255ca37eaf979b66de71 |
|
22-Sep-2005 |
Daniel Hausmann <hausmann@informatik.uni-bremen.de> |
functions that compute simulations over lts's and satisfaction of hml formulas over lts's together with testcases
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5042 cec4b9c1-7d33-0410-9eda-942365e851bb |