Vista normal
Vista MARC
- Chatterjee, Krishnendu.
Chatterjee, Krishnendu. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)301329: Chatterjee, Krishnendu. editor., Formal Modeling and Analysis of Timed Systems :