Inproceedings,

Characterization of Non-reachable States in Irreversible CAState Space.

, and .
ACRI, volume 5191 of Lecture Notes in Computer Science, page 160-167. Springer, (2008)

Meta data

Tags

Users

  • @dblp

Comments and Reviews