VIAF

Virtual International Authority File

Search

Leader     00000nz a2200037n 45 0
001     WKP|Q130937946  (VIAF cluster)  (Authority/Source Record)
003     WKP
005     20241121000246.0
008     241121nneanz||abbn n and d
035 ‎‡a  (WKP)Q130937946‏
024 ‎‡a  0009-0009-3945-5639‏ ‎‡2  orcid‏
035 ‎‡a  (OCoLC)Q130937946‏
100 0 ‎‡a  Jamie Smith‏ ‎‡9  en‏
670 ‎‡a  Author's Towards the Formal Verification of SysML v2 Models‏
909 ‎‡a  (orcid) 0009000939455639‏ ‎‡9  1‏
919 ‎‡a  towardstheformalverificationofsysmlv2models‏ ‎‡A  Towards the Formal Verification of SysML v2 Models‏ ‎‡9  1‏
996 ‎‡2  CAOONL|ncf10933912‏
996 ‎‡2  CAOONL|ncf10933913‏
996 ‎‡2  RERO|A023064041‏
996 ‎‡2  NII|DA0109710X‏
996 ‎‡2  ISNI|0000000067337979‏
996 ‎‡2  NII|DA17772336‏
996 ‎‡2  ISNI|0000000064068881‏
996 ‎‡2  NUKAT|n 2006140642‏
996 ‎‡2  RERO|A018765010‏
996 ‎‡2  DNB|1053157665‏
996 ‎‡2  LC|no2004030358‏
996 ‎‡2  ISNI|0000000110045112‏
996 ‎‡2  LC|no2013122975‏
996 ‎‡2  LC|n 91091440‏
996 ‎‡2  SUDOC|227297695‏
996 ‎‡2  ISNI|0000000388638377‏
996 ‎‡2  PTBNP|1904521‏
996 ‎‡2  ISNI|0000000501070892‏
996 ‎‡2  DNB|170853241‏
996 ‎‡2  LC|n 82257485‏
996 ‎‡2  LC|nr 93020262‏
996 ‎‡2  LC|no2008152303‏
996 ‎‡2  ISNI|0000000067294729‏
996 ‎‡2  ISNI|0000000082705389‏
996 ‎‡2  CAOONL|ncf10420890‏
996 ‎‡2  BIBSYS|90234722‏
996 ‎‡2  LC|n 92112524‏
996 ‎‡2  LC|n 91054816‏
996 ‎‡2  BNC|981058608370606706‏
996 ‎‡2  SUDOC|256304513‏
996 ‎‡2  LC|no2004033648‏
996 ‎‡2  ISNI|0000000046630308‏
996 ‎‡2  ISNI|0000000039952077‏
996 ‎‡2  SIMACOB|12522083‏
996 ‎‡2  CAOONL|ncf11418883‏
996 ‎‡2  NUKAT|n 2017182837‏
996 ‎‡2  BIBSYS|1634281499279‏
996 ‎‡2  LC|n 86033204‏
996 ‎‡2  ISNI|0000000044711614‏
996 ‎‡2  BNF|13339854‏
996 ‎‡2  ISNI|0000000053205908‏
996 ‎‡2  J9U|987007423314905171‏
996 ‎‡2  NTA|069743819‏
996 ‎‡2  NTA|339748494‏
996 ‎‡2  J9U|987012469331205171‏
996 ‎‡2  ISNI|0000000437210319‏
996 ‎‡2  DNB|1136379037‏
996 ‎‡2  N6I|vtls001386348‏
996 ‎‡2  LC|n 2007161955‏
996 ‎‡2  LC|n 83163169‏
996 ‎‡2  ISNI|0000000116212516‏
996 ‎‡2  ISNI|0000000067494237‏
996 ‎‡2  NTA|073267384‏
996 ‎‡2  LC|n 82064010‏
996 ‎‡2  ISNI|0000000121466043‏
996 ‎‡2  BIBSYS|1653056312082‏
996 ‎‡2  NLA|000035506700‏
996 ‎‡2  LC|n 92074049‏
996 ‎‡2  LC|n 2017067219‏
996 ‎‡2  LC|no2011016893‏
996 ‎‡2  LIH|LNB:C_x_PX;=B5‏
996 ‎‡2  ISNI|0000000109225968‏
996 ‎‡2  NII|DA06700865‏
996 ‎‡2  LC|nb2010009330‏
996 ‎‡2  ISNI|0000000449384332‏
996 ‎‡2  ISNI|0000000027685741‏
996 ‎‡2  NUKAT|n 00028264‏
996 ‎‡2  ISNI|0000000082376597‏
996 ‎‡2  CAOONL|ncf11645359‏
996 ‎‡2  NDL|00475256‏
996 ‎‡2  LC|no2011042582‏
996 ‎‡2  NTA|202965449‏
996 ‎‡2  SUDOC|140061320‏
996 ‎‡2  ISNI|0000000026431029‏
996 ‎‡2  B2Q|0000819805‏
996 ‎‡2  ISNI|0000000393699924‏
996 ‎‡2  J9U|987007299232805171‏
996 ‎‡2  NTA|243055102‏
996 ‎‡2  BNE|XX886018‏
996 ‎‡2  NUKAT|n 97036351‏
996 ‎‡2  DNB|1153738562‏
996 ‎‡2  DNB|101996295X‏
996 ‎‡2  RERO|A020305798‏
996 ‎‡2  LC|n 88256207‏
996 ‎‡2  DNB|1254037373‏
996 ‎‡2  PLWABN|9810534559005606‏
996 ‎‡2  J9U|987007354009605171‏
996 ‎‡2  B2Q|0000083663‏
996 ‎‡2  B2Q|0000083662‏
996 ‎‡2  RERO|A003839428‏
996 ‎‡2  RERO|A003839429‏
996 ‎‡2  B2Q|0000083667‏
996 ‎‡2  B2Q|0000083665‏
996 ‎‡2  ISNI|0000000028832782‏
996 ‎‡2  RERO|A003839422‏
996 ‎‡2  RERO|A003839423‏
996 ‎‡2  NII|DA04847443‏
996 ‎‡2  RERO|A003839421‏
996 ‎‡2  RERO|A003839426‏
996 ‎‡2  RERO|A003839427‏
996 ‎‡2  RERO|A003839424‏
996 ‎‡2  ISNI|0000000065190651‏
996 ‎‡2  CAOONL|ncf10094746‏
996 ‎‡2  LC|n 86844542‏
996 ‎‡2  ISNI|0000000001787555‏
996 ‎‡2  LC|n 88139737‏
996 ‎‡2  SUDOC|243151942‏
996 ‎‡2  DNB|1100730346‏
996 ‎‡2  LC|nb2009018267‏
996 ‎‡2  LC|n 84125827‏
996 ‎‡2  CAOONL|ncf10083150‏
996 ‎‡2  LIH|LNB:BSR_n_;=B_r_‏
996 ‎‡2  LC|no 91004450‏
996 ‎‡2  PLWABN|9811713413205606‏
996 ‎‡2  ISNI|0000000031132226‏
996 ‎‡2  LC|n 2010160018‏
996 ‎‡2  NII|DA06638604‏
996 ‎‡2  DNB|1300468319‏
996 ‎‡2  RERO|A022833429‏
996 ‎‡2  ISNI|0000000024176589‏
996 ‎‡2  SUDOC|076694852‏
996 ‎‡2  LC|no2018123603‏
996 ‎‡2  NTA|301865140‏
996 ‎‡2  BIBSYS|90149812‏
996 ‎‡2  RERO|A012488324‏
996 ‎‡2  DNB|170707598‏
996 ‎‡2  ISNI|0000000047966356‏
996 ‎‡2  ISNI|0000000083262372‏
996 ‎‡2  LC|n 87852114‏
996 ‎‡2  ISNI|000000012122014X‏
996 ‎‡2  PLWABN|9810589508805606‏
996 ‎‡2  LC|no2018089653‏
996 ‎‡2  NUKAT|n 2018171048‏
996 ‎‡2  LC|n 2006183462‏
996 ‎‡2  LC|nr 93003067‏
996 ‎‡2  LC|no2021024711‏
996 ‎‡2  CAOONL|ncf10127343‏
996 ‎‡2  BNF|14228264‏
996 ‎‡2  CAOONL|ncf11725837‏
996 ‎‡2  ISNI|0000000074058089‏
996 ‎‡2  CAOONL|ncf11874518‏
996 ‎‡2  W2Z|97020872‏
996 ‎‡2  ISNI|0000000109838238‏
996 ‎‡2  LC|no2004066035‏
996 ‎‡2  ISNI|0000000031049035‏
996 ‎‡2  N6I|vtls001347364‏
996 ‎‡2  LC|n 81046185‏
996 ‎‡2  ISNI|0000000394125121‏
996 ‎‡2  ISNI|0000000072820666‏
996 ‎‡2  ISNI|0000000050920607‏
996 ‎‡2  ISNI|0000000501574820‏
996 ‎‡2  LC|no 99054059‏
996 ‎‡2  LC|n 82274675‏
996 ‎‡2  LC|n 88601738‏
996 ‎‡2  BNF|16593806‏
996 ‎‡2  LC|no2008166628‏
996 ‎‡2  LC|n 2006011763‏
996 ‎‡2  NTA|073447250‏
996 ‎‡2  NSK|000799261‏
996 ‎‡2  ISNI|0000000120233870‏
996 ‎‡2  LC|n 87915144‏
996 ‎‡2  CAOONL|ncf10087514‏
996 ‎‡2  DNB|1196038252‏
996 ‎‡2  BIBSYS|90592331‏
996 ‎‡2  ISNI|0000000052292974‏
996 ‎‡2  BIBSYS|90521810‏
996 ‎‡2  LC|n 86819761‏
996 ‎‡2  NII|DA16350486‏
996 ‎‡2  ISNI|0000000033348784‏
996 ‎‡2  ISNI|0000000073564975‏
996 ‎‡2  PTBNP|232829‏
996 ‎‡2  ISNI|0000000075853877‏
996 ‎‡2  NII|DA10568706‏
996 ‎‡2  J9U|987007268131705171‏
996 ‎‡2  SUDOC|135435390‏
996 ‎‡2  NTA|146443217‏
996 ‎‡2  J9U|987007314173105171‏
996 ‎‡2  NYNYRILM|62509‏
996 ‎‡2  CAOONL|ncf10933905‏
996 ‎‡2  ISNI|0000000071857280‏
996 ‎‡2  LC|no2014126047‏
996 ‎‡2  CAOONL|ncf11291656‏
996 ‎‡2  LC|no2022049738‏
996 ‎‡2  CAOONL|ncf10484499‏
996 ‎‡2  ISNI|0000000035129120‏
996 ‎‡2  ISNI|0000000068911848‏
996 ‎‡2  KRNLK|KAC200908803‏
996 ‎‡2  DNB|1025260554‏
996 ‎‡2  NTA|06825136X‏
996 ‎‡2  NDL|00532292‏
996 ‎‡2  ISNI|0000000041332985‏
996 ‎‡2  LC|n 94053192‏
996 ‎‡2  LC|n 87823787‏
996 ‎‡2  LC|n 85114968‏
996 ‎‡2  LC|n 2015067575‏
996 ‎‡2  DNB|1063075564‏
996 ‎‡2  BIBSYS|1669188157825‏
996 ‎‡2  ISNI|000000007764004X‏
996 ‎‡2  LC|n 2003101171‏
996 ‎‡2  N6I|vtls001402621‏
996 ‎‡2  ISNI|0000000078362053‏
996 ‎‡2  LC|n 82227940‏
996 ‎‡2  SUDOC|050555332‏
996 ‎‡2  BNF|12367980‏
996 ‎‡2  ISNI|0000000063300319‏
996 ‎‡2  NII|DA16889520‏
996 ‎‡2  LC|n 79009435‏
996 ‎‡2  BIBSYS|14039040‏
996 ‎‡2  ISNI|0000000503724538‏
996 ‎‡2  NKC|ctu2015877483‏
996 ‎‡2  J9U|987007320392305171‏
996 ‎‡2  PLWABN|9812389801605606‏
996 ‎‡2  ISNI|0000000449699836‏
996 ‎‡2  CAOONL|ncf11893349‏
996 ‎‡2  NII|DA14367182‏
996 ‎‡2  ISNI|0000000109676144‏
996 ‎‡2  SUDOC|190550880‏
996 ‎‡2  NII|DA17003331‏
996 ‎‡2  N6I|vtls000306091‏
996 ‎‡2  ISNI|0000000110400524‏
996 ‎‡2  CAOONL|ncf10059008‏
996 ‎‡2  LC|nr 91033012‏
996 ‎‡2  SUDOC|123329116‏
996 ‎‡2  LC|nb 91048526‏
996 ‎‡2  ISNI|0000000045867573‏
996 ‎‡2  LC|n 85063759‏
996 ‎‡2  LC|no2019152460‏
996 ‎‡2  ISNI|000000008198438X‏
996 ‎‡2  LC|n 79051192‏
996 ‎‡2  J9U|987007332755805171‏
996 ‎‡2  JPG|500019843‏
996 ‎‡2  LC|nb2003003208‏
996 ‎‡2  ISNI|0000000025126305‏
996 ‎‡2  J9U|987009461675605171‏
996 ‎‡2  SUDOC|233175865‏
996 ‎‡2  RERO|A009011320‏
996 ‎‡2  ISNI|0000000356803518‏
996 ‎‡2  LC|no2010034454‏
996 ‎‡2  ISNI|0000000366962344‏
996 ‎‡2  ISNI|0000000409982223‏
996 ‎‡2  DNB|138606951‏
996 ‎‡2  B2Q|0000083788‏
996 ‎‡2  LC|nb2009012743‏
996 ‎‡2  LC|no2009015235‏
996 ‎‡2  LC|n 99025898‏
996 ‎‡2  NUKAT|n 2010057102‏
996 ‎‡2  ISNI|0000000510835113‏
996 ‎‡2  N6I|vtls001330807‏
996 ‎‡2  ISNI|0000000383196848‏
996 ‎‡2  DNB|104161571X‏
997 ‎‡a  0 0 lived 0 0‏ ‎‡9  1‏
998 ‎‡a  Jamie Smith‏ ‎‡2  ISNI|0000000046197962‏ ‎‡3  exact name‏
998 ‎‡a  Smith, James Willison‏ ‎‡2  ISNI|0000000046197962‏ ‎‡3  exact name‏