Strong Equivalence Relations for Iterated Models.

Zohir Bouzid, Eli Gafni, Petr Kuznetsov

Browse the full OPODIS paper archive.