Publications

Proposition of an Action Layer for Electrum

AuthID
P-00N-YKZ

Author(s)

Brunel, J

Chemouil, D

Cunha, A

Hujsa, T

Macedo, N

Tawa, J

Editor(s)

Michael J. Butler; Alexander Raschke; Thai Son Hoang; Klaus Reichl

Document Type

Proceedings Paper

Year published

2018

Published

in Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 10817, Pages: 397-402

Conference

6Th International Conference on Abz Conference on Asm, Alloy, B, Tla, Vdm, and Z, Abz 2018, Date: 5 June 2018 through 8 June 2018

Indexing

Scopus^®

Dblp^®/en/publications/view/719487

Crossref^®2

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-319-91271-4_30

Dblp: conf/asm/BrunelCCHMT18

Scopus: 2-s2.0-85047383414

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Proposition of an Action Layer for Electrum

Useful Links

Get Help

Federated Authentication (Click on the image)

Proposition of an Action Layer for Electrum

Useful Links

Get Help