Skip to content
GitLab
Explore
Sign in
af3
AF3
Issues
#1076
Operator panels that are weakly causal cannot be model-checked
(from redmine: issue id 1076, created on 2012-12-13, closed on 2013-01-14)
Relations:
parent
#840 (closed)