Preserving Strong Equivalence while Forgetting

Eduardo Fermé, João Leite, Matthias Knorr, José Júlio Alferes,

URL	http://dx.doi.org/10.1007/978-3-319-11558-0_29
Publisher	Springer
Series	Lecture Notes in Computer Science
Volume	8761
URL	http://dx.doi.org/10.1007/978-3-319-11558-0_29
Publisher	Springer
Series	Lecture Notes in Computer Science
Volume	8761

Publication