add check for cyclic references

Status: Alpha

Brought to you by: fillerup, tukraus

#5 add check for cyclic references

Status: open

Owner: nobody

Labels: Model Checker (2)

Priority: 5

Updated: 2007-07-09

Created: 2007-07-09

Private: No

add check for cyclic references

Thomas Kraus - 2007-07-09

labels: --> Model Checker
If you would like to refer to this comment somewhere else in this project, copy and paste the following link: