i _\mathrm Rank : A Variable Order Metric for DEDS Subject to Linear Invariants.

Elvio Gilberto Amparore, Gianfranco Ciardo, Susanna Donatelli, Andrew S. Miner

Browse the full TACAS paper archive.