Entry Nombre personal

Number of records used in: 1

001 - NÚMERO DE CONTROL

• campo de control: 689704

003 - IDENTIFICADOR DEL NÚMERO DE CONTROL

• campo de control: DLC

005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN

• campo de control: 20240302111258.0

008 - DATOS DE LONGITUD FIJA

• campo de control de longitud fija: 051209n| acannaabn |n aaa c

010 ## - NÚMERO DE CONTROL DE LA BIBLIOTECA DEL CONGRESO

• Número de control de LC: no2005116453

035 ## - NÚMERO DE CONTROL DEL SISTEMA

• Número de control de sistema: (OCoLC)oca06802071

040 ## - FUENTE DE LA CATALOGACIÓN

• Centro catalogador/agencia de origen: HkUST
• Lengua de catalogación: eng
• Centro/agencia transcriptor: HkUST

100 1# - ENCABEZAMIENTO-NOMBRE DE PERSONA

• Nombre de persona: Pettersson, Paul

670 ## - FUENTE DE DATOS ENCONTRADOS

• Cita de la fuente: Formal modeling and analysis of timed systems, c2005:
• Información encontrada: t.p. (Paul Pettersson) t.p. verso (Dept. of Information Technology, Uppsala Univ., Uppsala, Sweden)