VIAF

Virtual International Authority File

Search

Leader     00000cz a2200037n 45 0
001     SUDOC|254711669  (VIAF cluster)  (Authority/Source Record)
005     202409130047.0
008     210413 nfazznn||| |n aa |d
003     SUDOC
035 ‎‡a  (SUDOC)254711669‏
035 ‎‡a  http://viaf.org/viaf/4754162062761751650006‏
035 ‎‡a  55647141100‏
046 0 ‎‡f  19XX‏
100 1 ‎‡a  Wang, Chao,‏ ‎‡d  19..-....‏
670 ‎‡a  Computer aided verification : 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings. Part II / Shuvendu K. Lahiri, Chao Wang (eds.), 2020‏
678 ‎‡a  Professeur agrégé d'informatique à l'Université de Californie du Sud‏
901 ‎‡a  978303053287‏ ‎‡9  1‏
901 ‎‡a  978147044689‏ ‎‡9  1‏
901 ‎‡a  978038734600‏ ‎‡9  1‏
910 ‎‡a  computeraidedverification32ndinternationalconferencecav2020losangelescausajuly21242020proceedings‏ ‎‡A  Computer aided verification :‏ ‎‡b  32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 :‏ ‎‡b  proceedings.‏ ‎‡l  eng‏ ‎‡9  1‏
910 ‎‡a  localwellposednessandbreakdowncriterionoftheincompressibleeulerequationswithfreeboundary‏ ‎‡A  Local well-posedness and break-down criterion of the incompressible Euler equations with free boundary /‏ ‎‡l  eng‏ ‎‡9  2‏
910 ‎‡a  abstractionrefinementforlargescalemodelchecking‏ ‎‡A  Abstraction refinement for large scale model checking /‏ ‎‡l  eng‏ ‎‡9  1‏
919 ‎‡a  computeraidedverification32ndinternationalconferencecav2020losangelescausajuly21242020proceedingspart2‏ ‎‡A  Computer aided verification : 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings. Part II‏ ‎‡9  1‏
920 ‎‡a  978-30305‏ ‎‡9  1‏
920 ‎‡a  978-147‏ ‎‡9  1‏
920 ‎‡a  978-038‏ ‎‡9  1‏
922 ‎‡a  sz‏ ‎‡b  ch‏ ‎‡9  1‏
922 ‎‡a  us‏ ‎‡b  us‏ ‎‡9  3‏
930 ‎‡a  chao wang‏ ‎‡c  Chao Wang, Zhifei Zhang, Weiren Zhao [et al.].‏ ‎‡9  3‏
940 ‎‡a  eng‏ ‎‡9  4‏
941 ‎‡a  directeur de la publication‏ ‎‡e  Directeur de la publication‏ ‎‡9  1‏
942 ‎‡a  QA901‏ ‎‡9  2‏
942 ‎‡a  TK1-9971‏ ‎‡9  1‏
944 ‎‡a  mm‏ ‎‡9  3‏
944 ‎‡a  am‏ ‎‡9  1‏
950 ‎‡a  lahiri shuvendu‏ ‎‡A  Lahiri, Shuvendu‏ ‎‡d  (19..-....).‏ ‎‡9  1‏
950 ‎‡a  zhang zhifei‏ ‎‡A  Zhang, Zhifei.‏ ‎‡9  2‏
950 ‎‡a  zheng yunrui‏ ‎‡A  Zheng, Yunrui‏ ‎‡d  (19..-....).‏ ‎‡9  2‏
950 ‎‡a  zhao weiren‏ ‎‡A  Zhao, Weiren.‏ ‎‡9  2‏
950 ‎‡a  somenzi fabio‏ ‎‡A  Somenzi, Fabio..‏ ‎‡9  2‏
950 ‎‡a  hachtel gary d‏ ‎‡A  Hachtel, Gary D.‏ ‎‡d  (19..-....).‏ ‎‡9  2‏
996 ‎‡2  CYT|AC000659322‏
996 ‎‡2  DNB|1143139437‏
996 ‎‡2  WKP|Q96177271‏
996 ‎‡2  LC|no2014164496‏
996 ‎‡2  PLWABN|9812802089205606‏
996 ‎‡2  NTA|237712962‏
996 ‎‡2  JPG|500470805‏
996 ‎‡2  LC|n 84153596‏
996 ‎‡2  DNB|1137538244‏
996 ‎‡2  LC|n 88117194‏
996 ‎‡2  CYT|AC000635920‏
996 ‎‡2  ISNI|000000006357765X‏
996 ‎‡2  WKP|Q96635672‏
996 ‎‡2  WKP|Q51373006‏
996 ‎‡2  NKC|vut2011649971‏
996 ‎‡2  LNB|LNC10-000191546‏
996 ‎‡2  LC|n 84033509‏
996 ‎‡2  WKP|Q103119831‏
996 ‎‡2  CYT|AC000632960‏
996 ‎‡2  WKP|Q75350818‏
996 ‎‡2  NTA|323265391‏
996 ‎‡2  ISNI|0000000050082607‏
996 ‎‡2  WKP|Q92943020‏
996 ‎‡2  WKP|Q88000967‏
996 ‎‡2  WKP|Q56942179‏
996 ‎‡2  WKP|Q85894467‏
996 ‎‡2  WKP|Q90766662‏
996 ‎‡2  WKP|Q98177317‏
996 ‎‡2  WKP|Q57412456‏
996 ‎‡2  ISNI|0000000064346837‏
996 ‎‡2  DNB|1146699271‏
996 ‎‡2  NUKAT|n 01025998‏
996 ‎‡2  ISNI|0000000063358051‏
996 ‎‡2  DNB|1161610332‏
996 ‎‡2  WKP|Q95982042‏
996 ‎‡2  WKP|Q64682844‏
996 ‎‡2  WKP|Q88869286‏
996 ‎‡2  NTA|364154160‏
996 ‎‡2  WKP|Q67446072‏
996 ‎‡2  CYT|AC000641872‏
996 ‎‡2  ISNI|0000000459803545‏
996 ‎‡2  WKP|Q130951369‏
996 ‎‡2  WKP|Q88300551‏
996 ‎‡2  ISNI|0000000446455318‏
996 ‎‡2  CYT|AC000373405‏
996 ‎‡2  CYT|AC000641892‏
996 ‎‡2  WKP|Q89086975‏
996 ‎‡2  LC|n 89117008‏
996 ‎‡2  DNB|1292808454‏
996 ‎‡2  NII|DA06901506‏
996 ‎‡2  CAOONL|ncf11356861‏
996 ‎‡2  NTA|129720550‏
996 ‎‡2  WKP|Q96251353‏
996 ‎‡2  LC|n 82240215‏
996 ‎‡2  ISNI|0000000046150013‏
996 ‎‡2  WKP|Q96113014‏
996 ‎‡2  WKP|Q96138320‏
996 ‎‡2  LC|n 93113453‏
996 ‎‡2  BAV|495_320054‏
996 ‎‡2  NUKAT|n 01715586‏
996 ‎‡2  J9U|987007456791705171‏
996 ‎‡2  NII|DA05971404‏
996 ‎‡2  ISNI|0000000058330820‏
996 ‎‡2  LC|no2016098156‏
996 ‎‡2  WKP|Q96608680‏
996 ‎‡2  CYT|AC000209400‏
996 ‎‡2  WKP|Q83722485‏
996 ‎‡2  LC|n 84073505‏
996 ‎‡2  ISNI|0000000064255994‏
996 ‎‡2  WKP|Q57306882‏
996 ‎‡2  LC|nb2010026712‏
996 ‎‡2  J9U|987007328046605171‏
996 ‎‡2  ISNI|0000000075963259‏
996 ‎‡2  NTA|364154357‏
996 ‎‡2  WKP|Q88684114‏
996 ‎‡2  PLWABN|9810636727705606‏
996 ‎‡2  SZ|1213989795‏
996 ‎‡2  ISNI|0000000063809588‏
996 ‎‡2  WKP|Q97566113‏
996 ‎‡2  NUKAT|n 01109338‏
996 ‎‡2  WKP|Q85632512‏
996 ‎‡2  BIBSYS|4081788‏
996 ‎‡2  NUKAT|n 2019212331‏
996 ‎‡2  WKP|Q87810957‏
996 ‎‡2  DNB|1261469453‏
996 ‎‡2  CYT|AC000619313‏
996 ‎‡2  LC|n 88107929‏
996 ‎‡2  CYT|AC000641391‏
996 ‎‡2  WKP|Q86621394‏
996 ‎‡2  LC|no2010039155‏
996 ‎‡2  WKP|Q9064663‏
996 ‎‡2  J9U|987007356660505171‏
996 ‎‡2  WKP|Q96179096‏
996 ‎‡2  J9U|987007341409805171‏
996 ‎‡2  WKP|Q131013667‏
996 ‎‡2  BIBSYS|90277232‏
996 ‎‡2  NTA|118671898‏
996 ‎‡2  WKP|Q92041583‏
996 ‎‡2  ISNI|0000000118504547‏
996 ‎‡2  J9U|987007443461605171‏
996 ‎‡2  LC|no2021022938‏
996 ‎‡2  WKP|Q60041182‏
996 ‎‡2  LC|n 85013308‏
996 ‎‡2  ISNI|0000000063705148‏
996 ‎‡2  NII|DA10350825‏
996 ‎‡2  WKP|Q93173709‏
996 ‎‡2  LC|no2003068897‏
996 ‎‡2  LC|nr 96024646‏
996 ‎‡2  ISNI|0000000064123027‏
996 ‎‡2  ISNI|0000000444605087‏
996 ‎‡2  ISNI|0000000496312622‏
996 ‎‡2  NTA|229574386‏
996 ‎‡2  WKP|Q100962523‏
996 ‎‡2  ISNI|0000000064330421‏
996 ‎‡2  LC|n 85094291‏
996 ‎‡2  WKP|Q63847577‏
996 ‎‡2  WKP|Q90662163‏
996 ‎‡2  WKP|Q121360334‏
996 ‎‡2  WKP|Q130931058‏
996 ‎‡2  NTA|383808650‏
996 ‎‡2  LC|nr 98022691‏
996 ‎‡2  DNB|171759893‏
996 ‎‡2  LC|n 82079751‏
996 ‎‡2  LC|n 78090813‏
996 ‎‡2  WKP|Q57789010‏
996 ‎‡2  ISNI|0000000064163563‏
996 ‎‡2  WKP|Q90596982‏
996 ‎‡2  CYT|AC000531449‏
996 ‎‡2  LC|n 89143437‏
996 ‎‡2  WKP|Q89744647‏
996 ‎‡2  WKP|Q130949814‏
996 ‎‡2  DNB|1202938744‏
996 ‎‡2  DNB|1316389022‏
996 ‎‡2  CYT|AC000641446‏
996 ‎‡2  PLWABN|9812422790805606‏
996 ‎‡2  NSK|000708028‏
996 ‎‡2  WKP|Q131167970‏
996 ‎‡2  BNCHL|10000000000000000179061‏
996 ‎‡2  LC|n 79016933‏
996 ‎‡2  LC|n 80126338‏
996 ‎‡2  NDL|00752730‏
996 ‎‡2  ISNI|0000000375205441‏
996 ‎‡2  LC|no2017059880‏
996 ‎‡2  J9U|987007347202505171‏
996 ‎‡2  BNF|12421860‏
996 ‎‡2  DNB|1078684227‏
996 ‎‡2  WKP|Q89499867‏
996 ‎‡2  BIBSYS|90572717‏
996 ‎‡2  DNB|1247652505‏
996 ‎‡2  LC|no2024100367‏
996 ‎‡2  LC|no2011096278‏
996 ‎‡2  WKP|Q89870299‏
996 ‎‡2  LC|n 83186648‏
996 ‎‡2  WKP|Q51567859‏
996 ‎‡2  LC|n 84033974‏
996 ‎‡2  CYT|AC000639732‏
996 ‎‡2  WKP|Q87686216‏
996 ‎‡2  WKP|Q57814378‏
996 ‎‡2  CAOONL|ncf11531765‏
996 ‎‡2  WKP|Q97566010‏
996 ‎‡2  J9U|987007386073105171‏
996 ‎‡2  BIBSYS|90333524‏
996 ‎‡2  CAOONL|ncf10403995‏
996 ‎‡2  WKP|Q97678107‏
996 ‎‡2  DNB|1339105195‏
996 ‎‡2  ISNI|0000000063676447‏
996 ‎‡2  RERO|A003957672‏
996 ‎‡2  WKP|Q89639746‏
996 ‎‡2  J9U|987007360276505171‏
996 ‎‡2  DNB|1168759854‏
996 ‎‡2  DNB|1081210095‏
996 ‎‡2  ISNI|0000000063495929‏
996 ‎‡2  DNB|1212818849‏
996 ‎‡2  CAOONL|ncf11546722‏
996 ‎‡2  LC|n 85209517‏
996 ‎‡2  ISNI|0000000063741317‏
996 ‎‡2  BNF|18109997‏
996 ‎‡2  WKP|Q55763107‏
996 ‎‡2  ISNI|0000000088812361‏
996 ‎‡2  ISNI|0000000079970173‏
996 ‎‡2  ISNI|0000000025267503‏
996 ‎‡2  ISNI|0000000040741621‏
996 ‎‡2  ISNI|0000000000183020‏
996 ‎‡2  DNB|1128658933‏
996 ‎‡2  WKP|Q60090420‏
996 ‎‡2  WKP|Q102371852‏
996 ‎‡2  DNB|1213989795‏
996 ‎‡2  NLA|000035590308‏
996 ‎‡2  WKP|Q88153945‏
996 ‎‡2  LC|no2023022890‏
996 ‎‡2  CYT|AC000618920‏
996 ‎‡2  WKP|Q95265959‏
996 ‎‡2  WKP|Q130887069‏
996 ‎‡2  DNB|1258192837‏
996 ‎‡2  KRNLK|KAC200810348‏
996 ‎‡2  LC|nr 92040625‏
996 ‎‡2  ISNI|0000000036897770‏
996 ‎‡2  WKP|Q91298873‏
996 ‎‡2  ISNI|0000000082810787‏
996 ‎‡2  LC|n 84227347‏
996 ‎‡2  LC|nr 88012383‏
996 ‎‡2  WKP|Q88509112‏
996 ‎‡2  WKP|Q104265681‏
996 ‎‡2  NKC|ntk2015859041‏
996 ‎‡2  WKP|Q67390459‏
996 ‎‡2  NDL|00751701‏
996 ‎‡2  WKP|Q88623889‏
996 ‎‡2  LC|no2020089885‏
996 ‎‡2  LC|no2021140633‏
996 ‎‡2  ISNI|0000000064150471‏
996 ‎‡2  NTA|242473776‏
996 ‎‡2  NSK|000677610‏
996 ‎‡2  WKP|Q88298762‏
996 ‎‡2  J9U|987010357156505171‏
996 ‎‡2  WKP|Q131011627‏
996 ‎‡2  NSK|000009509‏
996 ‎‡2  LC|nr 89004917‏
996 ‎‡2  WKP|Q92981206‏
996 ‎‡2  ISNI|0000000383815071‏
996 ‎‡2  DNB|1012190447‏
996 ‎‡2  WKP|Q96157802‏
996 ‎‡2  ISNI|0000000063494715‏
996 ‎‡2  ISNI|0000000448942689‏
996 ‎‡2  LC|no2019114721‏
996 ‎‡2  WKP|Q131163142‏
996 ‎‡2  DNB|1090291868‏
996 ‎‡2  LC|n 87938385‏
996 ‎‡2  PLWABN|9810532159605606‏
996 ‎‡2  WKP|Q92864007‏
996 ‎‡2  LC|n 85223815‏
996 ‎‡2  LC|n 87920373‏
996 ‎‡2  ISNI|0000000063736817‏
996 ‎‡2  WKP|Q130845151‏
996 ‎‡2  CYT|AC000653540‏
996 ‎‡2  ISNI|0000000063339520‏
996 ‎‡2  LC|no2023009708‏
996 ‎‡2  WKP|Q91420486‏
996 ‎‡2  WKP|Q117284933‏
996 ‎‡2  WKP|Q90594906‏
996 ‎‡2  CAOONL|ncf11407703‏
996 ‎‡2  LC|nb2010000841‏
996 ‎‡2  WKP|Q90222895‏
996 ‎‡2  RERO|A024005613‏
996 ‎‡2  DNB|1174854340‏
996 ‎‡2  RERO|A025739942‏
996 ‎‡2  CYT|AC000638770‏
996 ‎‡2  WKP|Q131162635‏
996 ‎‡2  WKP|Q92651995‏
996 ‎‡2  WKP|Q48044901‏
996 ‎‡2  DNB|1302992384‏
997 ‎‡a  1950 0 flourished 0 0‏ ‎‡9  1‏
998 ‎‡a  Wang, Chao,‏ ‎‡2  LC|n 2017047732‏ ‎‡3  standard number‏
998 ‎‡a  Wang, Chao.‏ ‎‡2  NUKAT|n 2008050223‏ ‎‡3  exact title: (1.00, 'abstractionrefinementforlargescalemodelchecking', 'abstractionrefinementforlargescalemodelchecking')‏
998 ‎‡a  Wang‏ ‎‡b  Chao‏ ‎‡c  informaticien‏ ‎‡2  BNF|17296696‏ ‎‡3  title: (0.93, 'abstractionrefinementforlargescalemodelcheckingtexteimprime', 'abstractionrefinementforlargescalemodelchecking')‏
998 ‎‡a  Wang, Chao‏ ‎‡2  ISNI|0000000064368921‏ ‎‡3  joint author: (1.00, 'somenzi fabio', 'somenzi fabio')‏
998 ‎‡a  Zhao, Bingxuan‏ ‎‡2  ISNI|0000000064368921‏ ‎‡3  joint author: (1.00, 'somenzi fabio', 'somenzi fabio')‏
998 ‎‡a  Wang, Chao‏ ‎‡2  ISNI|0000000064368921‏ ‎‡3  joint author: (1.00, 'somenzi fabio', 'somenzi fabio')‏
998 ‎‡a  Wang, Chao‏ ‎‡2  ISNI|0000000064368921‏ ‎‡3  joint author: (1.00, 'somenzi fabio', 'somenzi fabio')‏
998 ‎‡a  Wang, Chao‏ ‎‡c  (Professor of mathematics)‏ ‎‡2  LC|no2021114857‏ ‎‡3  exact title: (1.00, 'localwellposednessandbreakdowncriterionoftheincompressibleeulerequationswithfreeboundary', 'localwellposednessandbreakdowncriterionoftheincompressibleeulerequationswithfreeboundary')‏
998 ‎‡a  Wang, Chao‏ ‎‡2  NUKAT|n 2018246334‏ ‎‡3  viafid‏
998 ‎‡a  Wang, Chao‏ ‎‡2  BIBSYS|1507616673206‏ ‎‡3  standard number‏
998 ‎‡a  Wang, Chao‏ ‎‡2  SZ|1216596506‏ ‎‡3  joint author: (0.96, 'lahiri shuvendu', 'lahiri shuvendu k')‏
999 ‎‡2  SUDOCBIB|123111269‏
999 ‎‡2  SUDOCBIB|258450797‏
999 ‎‡2  SUDOCBIB|258964243‏
999 ‎‡2  SUDOCBIB|255012977‏