Home › Core › ISCC-IDs › 28C8omCoXKErj

View ISCC-ID

Core Data

28C8omCoXKErj
ISCC-ID - digital asset identifier
CCbMird4Ph59K-CTjMv1SG14J89-CDVdnV2SLpsgs-CRHa1QJ2f6ytr
ISCC-CODE - digital asset descriptor
2QTa5N4aeSrCB2MLoPdPF4AsTjstJgcLTnd
PUBLIC-KEY or WALLET-ADDRESS of DECLARING PARTY
0
Number of times updated

Seed Metadata (Immutable)

bdd vs constraintbased model checking an experimental evaluation for asynchronous concurrent systems

Ledger Reference

coblo
Source Ledger/Blockchain
12406149
N-th ISCC Decleration on source ledger
389fc63247139db5f7c7fe9152d037758adcbdc3aad2fc042799fac9bd89ee7c
Hash of block that includes the ISCC-DECLARATION
7cd4a42de19832906683dabb47fa235e87ba96e3c8f9b1ec28f99bb5d7a2c6cc
Hash of transaction that includes the ISCC-DECLERATION
0
Output index that includes ISCC-DECLERATION (UTXO based chains)

Mutable Metadata

[{"data": {"name": "BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems", "@type": "ScholarlyArticle", "genre": "book-chapter", "author": [{"name": "Tevfik Bultan", "@type": "Person"}], "@context": "http://schema.org/", "encoding": [{"@type": "MediaObject", "contentUrl": "https://link.springer.com/content/pdf/10.1007%2F3-540-46419-0_30.pdf", "encodingFormat": "application/pdf"}], "publisher": {"name": "Springer Berlin Heidelberg", "@type": "Organization"}, "identifier": [{"@type": "PropertyValue", "value": "10.1007/3-540-46419-0_30", "propertyID": "DOI"}, {"@type": "PropertyValue", "value": "CCbMird4Ph59K-CTjMv1SG14J89-CDVdnV2SLpsgs-CRHa1QJ2f6ytr", "propertyID": "ISCC"}], "datePublished": "2000-01-01"}, "schema": "schema.org", "mediatype": "application/ld+json"}]
Close