Reachability of Cyclic Steady States Space: Declarative Modeling Approach.

Grzegorz Bocewicz, Robert Wjcik, Zbigniew Antoni Banaszak

Browse the full ICCCI paper archive.