Normal view
MARC view
- Edmund M., Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Ve
Entry Personal Name
001 - CONTROL NUMBER
- control field: 18483
003 - CONTROL NUMBER IDENTIFIER
- control field: IN-BhIIT
005 - DATE AND TIME OF LATEST TRANSACTION
- control field: 20221031102941.0
008 - FIXED-LENGTH DATA ELEMENTS
- fixed length control field: 221031|| aca||aabn | a|a d
040 ## - CATALOGING SOURCE
- Original cataloging agency: IN-BhIIT
- Transcribing agency: IN-BhIIT
100 ## - HEADING--PERSONAL NAME
- Personal name: Edmund M., Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Ve
670 ## - SOURCE DATA FOUND
- Source citation: Work cat.: (IN-BhIIT)12689: Edmund M., Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Ve, Model Checking, 2018