Abstract compositional analysis of iterated relations a structural approach to complex state transition systems
Frédéric Geurts
Berlin Springer New York c1998
Disponible en
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1426 ) y otras localizaciones(Obténgalo)