Construction of Deterministic Transition Graphs from Dynamic Integrity Constraints.

Udo W. Lipeck, Dasu Feng

Browse the full WG paper archive.