VIAF

Virtual International Authority File

Search

Leader     00000nz a2200037n 45 0
001     NTA|238228665  (VIAF cluster)
003     NTA
005     20020410103419.0
008     020410 ||azznnaabn a aaa d
035 ‎‡a  (NTA)238228665‏
040 ‎‡a  NL-LeOCL‏ ‎‡b  dut‏ ‎‡c  NL-LeOCL‏ ‎‡e  fobidrtb‏
100 1 ‎‡a  Yi, Wang‏
901 ‎‡a  978354030946‏ ‎‡9  1‏
901 ‎‡a  978354045319‏ ‎‡9  1‏
901 ‎‡a  978354041865‏ ‎‡9  1‏
910 ‎‡a  formalmodelingandanalysisoftimedsystems3internationalconferenceformats2005uppsalaswedenseptember26282005proceedings‏ ‎‡A  Formal modeling and analysis of timed systems :‏ ‎‡b  third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings /‏ ‎‡l  eng‏ ‎‡9  1‏
910 ‎‡a  toolsandalgorithmsfortheconstructionandanalysisofsystems7internationalconferencetacas2001heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2001genovaitalyapril262001proceedings‏ ‎‡A  Tools and algorithms for the construction and analysis of systems :‏ ‎‡b  7th international conference, TACAS 2001, held as part of the Joint European Conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April, 2-6, 2001 : proceedings /‏ ‎‡l  eng‏ ‎‡9  1‏
910 ‎‡a  tacas2001‏ ‎‡A  TACAS 2001‏ ‎‡l  eng‏ ‎‡9  1‏
910 ‎‡a  etaps2001‏ ‎‡A  ETAPS 2001‏ ‎‡l  eng‏ ‎‡9  1‏
920 ‎‡a  978-35403‏ ‎‡9  1‏
920 ‎‡a  978-35404‏ ‎‡9  1‏
921 ‎‡a  springer‏ ‎‡b  Springer,‏ ‎‡9  2‏
922 ‎‡a  gw‏ ‎‡b  de‏ ‎‡9  2‏
940 ‎‡a  eng‏ ‎‡9  2‏
941 ‎‡a  edt‏ ‎‡4  edt‏ ‎‡9  1‏
942 ‎‡a  QA76.9.C65‏ ‎‡9  1‏
942 ‎‡a  QA76.9.S88‏ ‎‡9  1‏
943 ‎‡a  200x‏ ‎‡9  2‏
944 ‎‡a  am‏ ‎‡9  2‏
950 ‎‡a  pettersson paul‏ ‎‡A  Pettersson, Paul.‏ ‎‡9  1‏
950 ‎‡a  margaria tiziana‏ ‎‡A  Margaria, Tiziana.‏ ‎‡9  1‏
951 ‎‡a  joint european conferences on theory and practice of software etaps 02 04 2001 06 04 2001 genova italy‏ ‎‡A  Joint European Conferences on Theory and Practice of Software, ETAPS‏ ‎‡d  (02-04-2001 - 06-04-2001 :‏ ‎‡c  Genova, Italy)‏ ‎‡9  1‏
996 ‎‡2  BNF|16586382‏
996 ‎‡2  WKP|Q45677479‏
996 ‎‡2  ISNI|0000000444641424‏
996 ‎‡2  BIBSYS|90539502‏
996 ‎‡2  DNB|1207888125‏
996 ‎‡2  WKP|Q45362970‏
996 ‎‡2  DNB|1266138838‏
996 ‎‡2  DNB|1079694544‏
996 ‎‡2  J9U|987007346410405171‏
996 ‎‡2  WKP|Q45678142‏
996 ‎‡2  ISNI|0000000474118183‏
996 ‎‡2  DNB|1147806748‏
996 ‎‡2  LC|n 82216283‏
996 ‎‡2  BNF|16192296‏
996 ‎‡2  WKP|Q45705277‏
996 ‎‡2  WKP|Q10417558‏
996 ‎‡2  DNB|173280277‏
996 ‎‡2  ISNI|0000000049458478‏
996 ‎‡2  DNB|1266011307‏
996 ‎‡2  WKP|Q18235144‏
996 ‎‡2  WKP|Q28224221‏
996 ‎‡2  WKP|Q45524384‏
996 ‎‡2  WKP|Q45449266‏
996 ‎‡2  J9U|987007332041505171‏
996 ‎‡2  DNB|1323874461‏
996 ‎‡2  DNB|1190655721‏
996 ‎‡2  WKP|Q45469063‏
996 ‎‡2  ISNI|0000000063109522‏
996 ‎‡2  SUDOC|167417533‏
996 ‎‡2  BNF|14420293‏
996 ‎‡2  ISNI|0000000023063814‏
996 ‎‡2  WKP|Q97193511‏
996 ‎‡2  ISNI|0000000492175886‏
996 ‎‡2  DNB|1066408122‏
996 ‎‡2  ISNI|000000041754731X‏
996 ‎‡2  SUDOC|249451557‏
996 ‎‡2  DNB|1107068495‏
996 ‎‡2  WKP|Q11572876‏
996 ‎‡2  DNB|13007814X‏
996 ‎‡2  DNB|1078045186‏
996 ‎‡2  DNB|1161677682‏
996 ‎‡2  DNB|1146186819‏
996 ‎‡2  WKP|Q9315278‏
996 ‎‡2  WKP|Q45430100‏
996 ‎‡2  ISNI|0000000114752818‏
996 ‎‡2  DNB|1207239852‏
996 ‎‡2  ISNI|0000000494045014‏
996 ‎‡2  WKP|Q45456208‏
996 ‎‡2  CYT|AC000000060‏
996 ‎‡2  WKP|Q4481071‏
996 ‎‡2  WKP|Q45430089‏
996 ‎‡2  WKP|Q45468288‏
996 ‎‡2  SUDOC|259799637‏
996 ‎‡2  DNB|173922309‏
996 ‎‡2  WKP|Q45467325‏
996 ‎‡2  DNB|1201213851‏
996 ‎‡2  LC|n 97050942‏
996 ‎‡2  WKP|Q45594146‏
996 ‎‡2  DNB|1349454133‏
996 ‎‡2  WKP|Q16949576‏
996 ‎‡2  WKP|Q45458681‏
996 ‎‡2  DNB|1093433701‏
996 ‎‡2  WKP|Q45457620‏
996 ‎‡2  WKP|Q45537114‏
996 ‎‡2  DNB|1071331345‏
996 ‎‡2  DNB|126189765X‏
996 ‎‡2  WKP|Q45565099‏
996 ‎‡2  WKP|Q15909275‏
996 ‎‡2  LC|n 87807149‏
996 ‎‡2  ISNI|0000000054906976‏
996 ‎‡2  WKP|Q111804803‏
996 ‎‡2  DNB|1081648716‏
996 ‎‡2  ISNI|0000000467955688‏
996 ‎‡2  WKP|Q18118811‏
996 ‎‡2  WKP|Q93432347‏
996 ‎‡2  DNB|1027271316‏
996 ‎‡2  WKP|Q45641160‏
996 ‎‡2  DNB|1206431199‏
996 ‎‡2  WKP|Q45415533‏
996 ‎‡2  ISNI|0000000112606497‏
996 ‎‡2  DNB|1075383315‏
996 ‎‡2  DNB|119134411‏
996 ‎‡2  ISNI|000000008762721X‏
996 ‎‡2  WKP|Q11573232‏
996 ‎‡2  ISNI|0000000467761912‏
996 ‎‡2  DNB|1021284718‏
996 ‎‡2  DNB|1168270456‏
996 ‎‡2  WKP|Q91538048‏
996 ‎‡2  SUDOC|241813212‏
996 ‎‡2  ISNI|0000000475090290‏
996 ‎‡2  ISNI|0000000494049605‏
996 ‎‡2  NII|DA01709862‏
996 ‎‡2  WKP|Q45679097‏
996 ‎‡2  WKP|Q24862862‏
996 ‎‡2  ISNI|0000000492175931‏
996 ‎‡2  LC|n 2008058929‏
996 ‎‡2  WKP|Q45430139‏
996 ‎‡2  SUDOC|271388765‏
996 ‎‡2  WKP|Q65803997‏
996 ‎‡2  BNF|14524943‏
996 ‎‡2  DNB|1141687267‏
996 ‎‡2  WKP|Q16904082‏
996 ‎‡2  WKP|Q45664815‏
996 ‎‡2  ISNI|0000000121473091‏
996 ‎‡2  ISNI|0000000432902279‏
996 ‎‡2  CYT|AC000581028‏
996 ‎‡2  DNB|1298886848‏
996 ‎‡2  WKP|Q45655407‏
996 ‎‡2  DNB|104712792X‏
996 ‎‡2  ISNI|0000000064311378‏
996 ‎‡2  ISNI|0000000077346772‏
996 ‎‡2  DNB|1243109688‏
996 ‎‡2  WKP|Q45706438‏
996 ‎‡2  ISNI|0000000051489476‏
996 ‎‡2  BNF|14423843‏
996 ‎‡2  ISNI|0000000084834870‏
996 ‎‡2  ISNI|0000000504874685‏
996 ‎‡2  LC|n 2017073049‏
996 ‎‡2  W2Z|13032447‏
996 ‎‡2  DNB|1020869291‏
996 ‎‡2  WKP|Q131117601‏
996 ‎‡2  ISNI|0000000110501616‏
996 ‎‡2  WKP|Q2548264‏
996 ‎‡2  PLWABN|9813122860505606‏
996 ‎‡2  DNB|1296591840‏
996 ‎‡2  J9U|987007449340905171‏
996 ‎‡2  CYT|AC000647711‏
996 ‎‡2  SUDOC|077717597‏
996 ‎‡2  ISNI|0000000464855534‏
996 ‎‡2  WKP|Q3566114‏
996 ‎‡2  WKP|Q3566118‏
996 ‎‡2  DNB|1251511066‏
996 ‎‡2  DNB|1325691097‏
996 ‎‡2  ISNI|0000000064368155‏
996 ‎‡2  ISNI|0000000117947979‏
996 ‎‡2  ISNI|000000046101481X‏
996 ‎‡2  DNB|1224918665‏
996 ‎‡2  WKP|Q45664387‏
996 ‎‡2  DNB|138981590‏
996 ‎‡2  WKP|Q45653345‏
996 ‎‡2  LC|nb2019011310‏
996 ‎‡2  ISNI|0000000492898152‏
996 ‎‡2  DNB|1284234851‏
996 ‎‡2  ISNI|0000000451906064‏
996 ‎‡2  DNB|1201211999‏
996 ‎‡2  LC|nr 98016542‏
996 ‎‡2  WKP|Q18654653‏
996 ‎‡2  WKP|Q7967717‏
996 ‎‡2  WKP|Q7967716‏
996 ‎‡2  ISNI|0000000492085960‏
996 ‎‡2  WKP|Q768230‏
996 ‎‡2  WKP|Q9058743‏
996 ‎‡2  LC|n 2017063604‏
996 ‎‡2  WKP|Q55695609‏
996 ‎‡2  NUKAT|n 2017167399‏
996 ‎‡2  BNF|15944702‏
996 ‎‡2  ISNI|0000000064323096‏
996 ‎‡2  WKP|Q9065465‏
996 ‎‡2  DNB|1312698470‏
996 ‎‡2  WKP|Q16761688‏
996 ‎‡2  DNB|1175131911‏
996 ‎‡2  DNB|1020419717‏
996 ‎‡2  PLWABN|9811493219605606‏
996 ‎‡2  WKP|Q45660908‏
996 ‎‡2  LC|n 81117882‏
996 ‎‡2  DNB|11928698X‏
996 ‎‡2  ISNI|0000000112452758‏
996 ‎‡2  DNB|1132205875‏
996 ‎‡2  WKP|Q45425687‏
996 ‎‡2  WKP|Q45667814‏
996 ‎‡2  WKP|Q90387830‏
996 ‎‡2  ISNI|0000000468293137‏
996 ‎‡2  SUDOC|103881719‏
996 ‎‡2  WKP|Q22079108‏
996 ‎‡2  LC|n 2017003673‏
996 ‎‡2  WKP|Q3377225‏
996 ‎‡2  WKP|Q11137062‏
996 ‎‡2  DNB|1307862861‏
996 ‎‡2  DNB|1084138980‏
996 ‎‡2  ISNI|0000000063495937‏
996 ‎‡2  WKP|Q18235066‏
996 ‎‡2  WKP|Q97196555‏
996 ‎‡2  WKP|Q45676907‏
996 ‎‡2  DNB|1326465376‏
996 ‎‡2  LC|n 2011046629‏
996 ‎‡2  DNB|1307596649‏
996 ‎‡2  DNB|172071445‏
996 ‎‡2  LC|nr 98016196‏
996 ‎‡2  DNB|1218247290‏
996 ‎‡2  WKP|Q45456144‏
996 ‎‡2  DNB|1022190741‏
996 ‎‡2  DNB|1222112019‏
996 ‎‡2  WKP|Q45675682‏
996 ‎‡2  DNB|1206813164‏
996 ‎‡2  DNB|1054323917‏
996 ‎‡2  LC|no2023035688‏
996 ‎‡2  DNB|1157344550‏
996 ‎‡2  DNB|12234829X‏
996 ‎‡2  WKP|Q45676301‏
996 ‎‡2  ISNI|0000000494017929‏
996 ‎‡2  WKP|Q16905788‏
996 ‎‡2  DNB|104428708X‏
996 ‎‡2  NSK|000604762‏
996 ‎‡2  LC|nr 98007635‏
996 ‎‡2  ISNI|0000000504169070‏
996 ‎‡2  WKP|Q98342171‏
996 ‎‡2  WKP|Q45680963‏
996 ‎‡2  WKP|Q7967720‏
996 ‎‡2  LC|nr 95034353‏
996 ‎‡2  WKP|Q96220749‏
996 ‎‡2  NII|DA08565465‏
996 ‎‡2  WKP|Q11086812‏
996 ‎‡2  WKP|Q86391837‏
996 ‎‡2  BNF|14650731‏
996 ‎‡2  BIBSYS|15008030‏
996 ‎‡2  WKP|Q92965758‏
996 ‎‡2  DNB|1158236514‏
996 ‎‡2  WKP|Q18124107‏
996 ‎‡2  WKP|Q45673037‏
996 ‎‡2  DNB|1202466893‏
996 ‎‡2  ISNI|0000000433845413‏
996 ‎‡2  WKP|Q113462927‏
996 ‎‡2  SZ|11928698X‏
996 ‎‡2  DNB|1296441393‏
996 ‎‡2  WKP|Q45425885‏
996 ‎‡2  WKP|Q93198285‏
996 ‎‡2  DNB|1045656275‏
996 ‎‡2  DNB|1229638334‏
996 ‎‡2  WKP|Q15894510‏
996 ‎‡2  DNB|172442303‏
996 ‎‡2  DNB|129118699‏
996 ‎‡2  ISNI|000000007248122X‏
996 ‎‡2  DNB|1220646903‏
996 ‎‡2  WKP|Q45649114‏
996 ‎‡2  WKP|Q45435777‏
996 ‎‡2  WKP|Q701801‏
996 ‎‡2  WKP|Q12603961‏
996 ‎‡2  DNB|1209961741‏
996 ‎‡2  DNB|173534678‏
996 ‎‡2  SUDOC|271516909‏
996 ‎‡2  WKP|Q45426076‏
996 ‎‡2  WKP|Q45645937‏
996 ‎‡2  ISNI|0000000123041508‏
996 ‎‡2  WKP|Q15911516‏
996 ‎‡2  DNB|139976183‏
996 ‎‡2  WKP|Q90271019‏
996 ‎‡2  ISNI|0000000457653483‏
996 ‎‡2  CYT|AC000207350‏
996 ‎‡2  WKP|Q45482098‏
996 ‎‡2  ISNI|0000000460237210‏
997 ‎‡a  0 0 lived 0 0‏ ‎‡9  1‏
998 ‎‡a  Yi, Wang‏ ‎‡2  LC|n 2001005267‏ ‎‡3  standard number‏
998 ‎‡a  Yi, Wang‏ ‎‡2  NII|DA13091596‏ ‎‡3  exact name‏
998 ‎‡a  Yi, Wang‏ ‎‡2  CAOONL|ncf11328159‏ ‎‡3  title: (0.78, 'tacas20012001genovaitalytoolsandalgorithmsfortheconstructionandanalysisofsystems', 'toolsandalgorithmsfortheconstructionandanalysisofsystems7internationalconferencetacas2001heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2001genovaitalyapril262001proceedings')‏
998 ‎‡a  Yi, Wang.‏ ‎‡2  NUKAT|n 2017167399‏ ‎‡3  exact name‏
998 ‎‡a  Yi, Wang‏ ‎‡2  ISNI|0000000383723206‏ ‎‡3  joint author: (1.00, 'joint european conferences on theory and practice of software etaps 02 04 2001 06 04 2001 genova italy', 'joint european conferences on theory and practice of software etaps 02 04 2001 06 04 2001 genova italy')‏
998 ‎‡a  Wang, Yi‏ ‎‡c  Chercheur en physique‏ ‎‡2  ISNI|0000000383723206‏ ‎‡3  joint author: (1.00, 'joint european conferences on theory and practice of software etaps 02 04 2001 06 04 2001 genova italy', 'joint european conferences on theory and practice of software etaps 02 04 2001 06 04 2001 genova italy')‏
998 ‎‡a  Wang, Yi,‏ ‎‡c  chercheur en physique‏ ‎‡2  SUDOC|18500797X‏ ‎‡3  standard number‏
998 ‎‡a  Yi, Wang‏ ‎‡2  BIBSYS|1099472‏ ‎‡3  standard number‏
998 ‎‡a  Yi, Wang‏ ‎‡2  DNB|139976183‏ ‎‡3  exact name‏
998 ‎‡a  Yi, Wang‏ ‎‡2  NKC|xx0041254‏ ‎‡3  exact name‏
998 ‎‡a  Yi, Wang‏ ‎‡2  J9U|987007421610005171‏ ‎‡3  title: (0.78, 'tacas20012001genovaitalytoolsandalgorithmsfortheconstructionandanalysisofsystems', 'toolsandalgorithmsfortheconstructionandanalysisofsystems7internationalconferencetacas2001heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2001genovaitalyapril262001proceedings')‏ ‎‡3  viafid‏
998 ‎‡a  Yi, Wang‏ ‎‡2  NTA|328752304‏ ‎‡3  exact name‏
999 ‎‡2  NTABIB|150396584‏
999 ‎‡2  NTABIB|150395180‏