| https://dblp.org/rdf/schema#authoredBy
|
https://dblp.org/pid/133/3844 +
, https://dblp.org/pid/32/2903 +
, https://dblp.org/pid/00/6472 +
, https://dblp.org/pid/94/1243 +
, https://dblp.org/pid/85/3688 +
, https://dblp.org/pid/260/5569 +
, https://dblp.org/pid/89/1427 +
, https://dblp.org/pid/202/1679 +
|
| https://dblp.org/rdf/schema#bibtexType
|
http://purl.org/net/nknouf/ns/bibtex#Inproceedings +
|
| https://dblp.org/rdf/schema#documentPage
|
https://doi.org/10.1007/978-3-030-41600-3_7 +
|
| https://dblp.org/rdf/schema#doi
|
https://doi.org/10.1007/978-3-030-41600-3_7 +
, http://dx.doi.org/10.1007/978-3-030-41600-3_7 +
|
| https://dblp.org/rdf/schema#listedOnTocPage
|
https://dblp.org/db/conf/vstte/vstte2019 +
|
| https://dblp.org/rdf/schema#numberOfCreators
|
8
|
| https://dblp.org/rdf/schema#pagination
|
87-106
|
| https://dblp.org/rdf/schema#primaryDocumentPage
|
https://doi.org/10.1007/978-3-030-41600-3_7 +
|
| https://dblp.org/rdf/schema#publishedAsPartOf
|
https://dblp.org/rec/conf/vstte/2019 +
|
| https://dblp.org/rdf/schema#publishedIn
|
VSTTE
|
| https://dblp.org/rdf/schema#publishedInBook
|
VSTTE
|
| https://dblp.org/rdf/schema#title
|
Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain.
|
| https://dblp.org/rdf/schema#yearOfEvent
|
2019
|
| https://dblp.org/rdf/schema#yearOfPublication
|
2020
|
| owl:sameAs |
https://doi.org/10.1007/978-3-030-41600-3_7 +
, http://dx.doi.org/10.1007/978-3-030-41600-3_7 +
|
| rdf:type |
https://dblp.org/rdf/schema#Publication +
, https://dblp.org/rdf/schema#Inproceedings +
|
| rdfs:label |
Yuepeng Wang et al.: Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain. (2019)
|
