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 BNF|15009662‏
996 ‎‡2 PTBNP|213995‏
996 ‎‡2 LC|no2019093198‏
996 ‎‡2 PTBNP|528218‏
996 ‎‡2 CAOONL|ncf12030540‏
996 ‎‡2 SUDOC|110274547‏
996 ‎‡2 PTBNP|1194258‏
996 ‎‡2 PTBNP|454667‏
996 ‎‡2 PTBNP|286423‏
996 ‎‡2 PTBNP|244850‏
996 ‎‡2 PTBNP|1784866‏
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 ISNI|0000000083125802‏
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 RERO|A011343516‏
996 ‎‡2 PTBNP|1209748‏
996 ‎‡2 PTBNP|1479324‏
996 ‎‡2 BLBNB|000493861‏
996 ‎‡2 PTBNP|197088‏
996 ‎‡2 PTBNP|964656‏
996 ‎‡2 SUDOC|150670389‏
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 PTBNP|905332‏
996 ‎‡2 DNB|1157213588‏
996 ‎‡2 LC|n 80032637‏
996 ‎‡2 LC|n 2023182150‏
996 ‎‡2 PTBNP|1590483‏
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 PTBNP|1121527‏
996 ‎‡2 SUDOC|155302760‏
996 ‎‡2 SUDOC|234666609‏
996 ‎‡2 ISNI|0000000024558093‏
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 PTBNP|1803536‏
996 ‎‡2 SUDOC|233125051‏
996 ‎‡2 SUDOC|139272941‏
996 ‎‡2 ISNI|0000000069007092‏
996 ‎‡2 SUDOC|236471643‏
996 ‎‡2 LC|n 99900031‏
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 SUDOC|118643460‏
996 ‎‡2 PTBNP|818055‏
996 ‎‡2 BNF|17949539‏
996 ‎‡2 ISNI|0000000112178867‏
996 ‎‡2 RERO|A011465150‏
996 ‎‡2 LC|no2017146221‏
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 LC|nr 96015613‏
996 ‎‡2 PTBNP|138496‏
996 ‎‡2 PTBNP|1865465‏
996 ‎‡2 PTBNP|1662553‏
996 ‎‡2 ISNI|0000000068918847‏
996 ‎‡2 ISNI|0000000069324098‏
996 ‎‡2 BIBSYS|90385632‏
996 ‎‡2 PTBNP|1144611‏
996 ‎‡2 ISNI|0000000068095190‏
996 ‎‡2 PTBNP|211198‏
996 ‎‡2 ISNI|0000000067119023‏
996 ‎‡2 SUDOC|280819900‏
996 ‎‡2 CAOONL|ncf11216163‏
996 ‎‡2 LC|no2008059135‏
996 ‎‡2 SUDOC|177058099‏
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 BIBSYS|11001399‏
996 ‎‡2 PTBNP|1669233‏
996 ‎‡2 ISNI|0000000069605252‏
996 ‎‡2 BNCHL|10000000000000000015173‏
996 ‎‡2 BLBNB|000606945‏
996 ‎‡2 BLBNB|000273740‏
996 ‎‡2 BNC|981058519175106706‏
996 ‎‡2 BLBNB|000257017‏
996 ‎‡2 LC|no2019089479‏
996 ‎‡2 ISNI|0000000069795420‏
996 ‎‡2 PTBNP|1898747‏
996 ‎‡2 ISNI|0000000069621199‏
996 ‎‡2 ISNI|0000000068822650‏
996 ‎‡2 ISNI|0000000431353124‏
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‏