1
Publicat 2007
Taula de continguts: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Obtenir text complet
Electrònic eBook