TY  - CHAP
AU  - Fábregas, Ignacio
AU  - Frutos Escrig, David De
A4  - Hatcliff, John
A4  - Zucca, Elena
PY  - 2010
DO  - 10.1007/978-3-642-13464-7_18
SN  - 978-3-642-13463-0
UR  - https://hdl.handle.net/20.500.14352/45440
AB  - Covariant-contravariant simulation and conformance simulation are two generalizations of the simple notion of simulation which aim at capturing the fact that it is not always the case that “the larger the number of behaviors, the better”. Therefore,...
LA  - eng
M2  - 224
PB  - Springer
TI  - Logics for contravariant simulations
TY  - book part
ER  -