VIAF

Virtual International Authority File

Search

Leader     00000nz a2200037n 45 0
001     WKP|Q130815955  (VIAF cluster)  (Authority/Source Record)
003     WKP
005     20241221010645.0
008     241221nneanz||abbn n and d
035 ‎‡a  (WKP)Q130815955‏
024 ‎‡a  0000-0002-7048-9425‏ ‎‡2  orcid‏
035 ‎‡a  (OCoLC)Q130815955‏
100 0 ‎‡a  Mário Pereira‏ ‎‡9  en‏
670 ‎‡a  Author's Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols‏
909 ‎‡a  (orcid) 0000000270489425‏ ‎‡9  1‏
919 ‎‡a  verifyingreliablenetworkcomponentsinadistributedseparationlogicwithdependentseparationprotocols‏ ‎‡A  Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols‏ ‎‡9  1‏
996 ‎‡2  BLBNB|000399228‏
996 ‎‡2  ISNI|0000000083125802‏
996 ‎‡2  PTBNP|213995‏
996 ‎‡2  PTBNP|1784866‏
996 ‎‡2  PTBNP|528218‏
996 ‎‡2  CAOONL|ncf12030540‏
996 ‎‡2  SUDOC|110274547‏
996 ‎‡2  PTBNP|1194258‏
996 ‎‡2  PTBNP|286423‏
996 ‎‡2  LC|no2019093198‏
996 ‎‡2  DNB|1137859970‏
996 ‎‡2  SUDOC|180732722‏
996 ‎‡2  ISNI|0000000069211616‏
996 ‎‡2  PTBNP|73682‏
996 ‎‡2  PTBNP|137973‏
996 ‎‡2  ISNI|0000000068403798‏
996 ‎‡2  PTBNP|1689403‏
996 ‎‡2  BNF|15009662‏
996 ‎‡2  NII|DA11596933‏
996 ‎‡2  NSK|000338847‏
996 ‎‡2  PTBNP|1045236‏
996 ‎‡2  LC|n 85046065‏
996 ‎‡2  RERO|A019047863‏
996 ‎‡2  PTBNP|1643871‏
996 ‎‡2  DNB|1089385420‏
996 ‎‡2  PTBNP|120781‏
996 ‎‡2  BLBNB|000515974‏
996 ‎‡2  SUDOC|24288475X‏
996 ‎‡2  SUDOC|150670389‏
996 ‎‡2  PTBNP|1209748‏
996 ‎‡2  PTBNP|1479324‏
996 ‎‡2  LC|n 80032637‏
996 ‎‡2  PTBNP|197088‏
996 ‎‡2  PTBNP|964656‏
996 ‎‡2  PTBNP|1121527‏
996 ‎‡2  LC|n 2022039887‏
996 ‎‡2  NUKAT|n 2019013233‏
996 ‎‡2  PTBNP|73677‏
996 ‎‡2  SUDOC|196577861‏
996 ‎‡2  PTBNP|1600461‏
996 ‎‡2  ISNI|0000000068002150‏
996 ‎‡2  SUDOC|237700700‏
996 ‎‡2  LC|nr 96015613‏
996 ‎‡2  DNB|1157213588‏
996 ‎‡2  ISNI|0000000431353124‏
996 ‎‡2  LC|n 2023182150‏
996 ‎‡2  PTBNP|138496‏
996 ‎‡2  PTBNP|454667‏
996 ‎‡2  PTBNP|1590483‏
996 ‎‡2  BLBNB|000493861‏
996 ‎‡2  PTBNP|65327‏
996 ‎‡2  PTBNP|1210703‏
996 ‎‡2  BLBNB|000607173‏
996 ‎‡2  PTBNP|1905613‏
996 ‎‡2  PTBNP|1274621‏
996 ‎‡2  DNB|188458352‏
996 ‎‡2  NTA|073019119‏
996 ‎‡2  DNB|1023343371‏
996 ‎‡2  ISNI|0000000363872255‏
996 ‎‡2  SUDOC|155302760‏
996 ‎‡2  SUDOC|234666609‏
996 ‎‡2  ISNI|0000000500475265‏
996 ‎‡2  ISNI|0000000067340852‏
996 ‎‡2  SUDOC|08725543X‏
996 ‎‡2  ISNI|0000000068484268‏
996 ‎‡2  PTBNP|144888‏
996 ‎‡2  PTBNP|1427404‏
996 ‎‡2  SZ|1089385420‏
996 ‎‡2  PTBNP|1229352‏
996 ‎‡2  LC|n 2020250967‏
996 ‎‡2  PTBNP|1404243‏
996 ‎‡2  SUDOC|165146109‏
996 ‎‡2  LC|n 99900031‏
996 ‎‡2  SUDOC|233125051‏
996 ‎‡2  SUDOC|139272941‏
996 ‎‡2  ISNI|0000000069007092‏
996 ‎‡2  SUDOC|236471643‏
996 ‎‡2  ISNI|0000000024558093‏
996 ‎‡2  BNCHL|10000000000000000059363‏
996 ‎‡2  ISNI|0000000120091497‏
996 ‎‡2  PTBNP|229365‏
996 ‎‡2  PTBNP|1554434‏
996 ‎‡2  DNB|1139860763‏
996 ‎‡2  PTBNP|1437351‏
996 ‎‡2  PTBNP|1783126‏
996 ‎‡2  LC|nb2010029330‏
996 ‎‡2  SUDOC|093328869‏
996 ‎‡2  PTBNP|44317‏
996 ‎‡2  LC|n 80160283‏
996 ‎‡2  BNC|981058519175106706‏
996 ‎‡2  PTBNP|818055‏
996 ‎‡2  BNF|17949539‏
996 ‎‡2  BLBNB|000257017‏
996 ‎‡2  RERO|A011465150‏
996 ‎‡2  SUDOC|177058099‏
996 ‎‡2  PTBNP|1499886‏
996 ‎‡2  BNE|XX1504423‏
996 ‎‡2  ISNI|0000000068881263‏
996 ‎‡2  ISNI|0000000070502939‏
996 ‎‡2  LIH|LNB:BYRL;=BV‏
996 ‎‡2  PTBNP|30048‏
996 ‎‡2  JPG|500548479‏
996 ‎‡2  SUDOC|155923536‏
996 ‎‡2  ISNI|0000000067981000‏
996 ‎‡2  NSK|000425230‏
996 ‎‡2  PTBNP|1731074‏
996 ‎‡2  BLBNB|000505809‏
996 ‎‡2  DNB|1236760948‏
996 ‎‡2  DNB|1231037210‏
996 ‎‡2  ISNI|0000000502516657‏
996 ‎‡2  BNF|17942497‏
996 ‎‡2  PTBNP|1238895‏
996 ‎‡2  PTBNP|905332‏
996 ‎‡2  PTBNP|244850‏
996 ‎‡2  PTBNP|1865465‏
996 ‎‡2  PTBNP|1803536‏
996 ‎‡2  PTBNP|1662553‏
996 ‎‡2  ISNI|0000000068918847‏
996 ‎‡2  ISNI|0000000069324098‏
996 ‎‡2  BIBSYS|90385632‏
996 ‎‡2  PTBNP|1144611‏
996 ‎‡2  LC|no2008059135‏
996 ‎‡2  PTBNP|211198‏
996 ‎‡2  ISNI|0000000067119023‏
996 ‎‡2  SUDOC|280819900‏
996 ‎‡2  CAOONL|ncf11216163‏
996 ‎‡2  ISNI|0000000068095190‏
996 ‎‡2  LC|no2017146221‏
996 ‎‡2  PTBNP|1472257‏
996 ‎‡2  LC|n 84016158‏
996 ‎‡2  PTBNP|73338‏
996 ‎‡2  ISNI|0000000068613381‏
996 ‎‡2  ISNI|0000000049679983‏
996 ‎‡2  ISNI|0000000448731232‏
996 ‎‡2  BLBNB|000572025‏
996 ‎‡2  LC|n 2011032004‏
996 ‎‡2  ISNI|0000000107623698‏
996 ‎‡2  PTBNP|1894298‏
996 ‎‡2  ISNI|0000000069820286‏
996 ‎‡2  SUDOC|276099206‏
996 ‎‡2  DNB|1277199302‏
996 ‎‡2  ISNI|0000000500480347‏
996 ‎‡2  ISNI|0000000069891914‏
996 ‎‡2  PTBNP|963268‏
996 ‎‡2  PTBNP|268568‏
996 ‎‡2  ISNI|0000000069321022‏
996 ‎‡2  ISNI|0000000067752232‏
996 ‎‡2  RERO|A011343516‏
996 ‎‡2  BIBSYS|11001399‏
996 ‎‡2  PTBNP|1669233‏
996 ‎‡2  ISNI|0000000069605252‏
996 ‎‡2  BNCHL|10000000000000000015173‏
996 ‎‡2  BLBNB|000606945‏
996 ‎‡2  BLBNB|000273740‏
996 ‎‡2  SUDOC|118643460‏
996 ‎‡2  ISNI|0000000112178867‏
996 ‎‡2  LC|no2019089479‏
996 ‎‡2  ISNI|0000000069795420‏
996 ‎‡2  PTBNP|1898747‏
996 ‎‡2  ISNI|0000000069621199‏
996 ‎‡2  ISNI|0000000068822650‏
996 ‎‡2  NUKAT|n 98007845‏
996 ‎‡2  ISNI|0000000032873544‏
996 ‎‡2  DNB|1157432409‏
996 ‎‡2  LC|no2016048991‏
997 ‎‡a  0 0 lived 0 0‏ ‎‡9  1‏
998 ‎‡a  Mário Pereira‏ ‎‡2  ISNI|0000000049679983‏ ‎‡3  exact name‏
998 ‎‡a  Pereira, Mário‏ ‎‡2  ISNI|0000000049679983‏ ‎‡3  exact name‏