Skip to content
Snippets Groups Projects
Commit 404d608c authored by Point Gerald's avatar Point Gerald
Browse files

fix bug in strong bisim. relations for events were not computed.

parent 7201249a
Branches
Tags
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 0 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment