Normal view
MARC view
- Whalen, Michael
Entry Personal Name
001 - CONTROL NUMBER
- control field: 1582790
003 - CONTROL NUMBER IDENTIFIER
- control field: JGU
005 - DATE AND TIME OF LATEST TRANSACTION
- control field: 20220714165651.0
008 - FIXED-LENGTH DATA ELEMENTS
- fixed length control field: 220714|| aca||aabn | a|a d
040 ## - CATALOGING SOURCE
- Original cataloging agency: JGU
- Transcribing agency: JGU
100 ## - HEADING--PERSONAL NAME
- Personal name: Whalen, Michael
670 ## - SOURCE DATA FOUND
- Source citation: Work cat.: (JGU)2987374: Piskac, Ruzica edt 1582789, Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021, 2021