Matches in SemOpenAlex for { <https://semopenalex.org/work/W4226490500> ?p ?o ?g. }
Showing items 1 to 46 of
46
with 100 items per page.
- W4226490500 abstract "In this note, we want to provide a comparison among the efficiency of different approaches for the verification of K-step and infinite-step opacity based on three different graphs: the Extended Basis Reachability Graph (EBRG), the Basis Reachability Graph (BRG) when applicable, and the Reachability Graph (RG)." @default.
- W4226490500 created "2022-05-05" @default.
- W4226490500 creator A5036832151 @default.
- W4226490500 date "2021-11-19" @default.
- W4226490500 modified "2023-09-25" @default.
- W4226490500 title "Benchmarks of Extended Basis Reachability Graphs" @default.
- W4226490500 hasPublicationYear "2021" @default.
- W4226490500 type Work @default.
- W4226490500 citedByCount "0" @default.
- W4226490500 crossrefType "posted-content" @default.
- W4226490500 hasAuthorship W4226490500A5036832151 @default.
- W4226490500 hasBestOaLocation W42264905001 @default.
- W4226490500 hasConcept C114614502 @default.
- W4226490500 hasConcept C118615104 @default.
- W4226490500 hasConcept C12426560 @default.
- W4226490500 hasConcept C132525143 @default.
- W4226490500 hasConcept C136643341 @default.
- W4226490500 hasConcept C2524010 @default.
- W4226490500 hasConcept C33923547 @default.
- W4226490500 hasConcept C41008148 @default.
- W4226490500 hasConcept C80444323 @default.
- W4226490500 hasConceptScore W4226490500C114614502 @default.
- W4226490500 hasConceptScore W4226490500C118615104 @default.
- W4226490500 hasConceptScore W4226490500C12426560 @default.
- W4226490500 hasConceptScore W4226490500C132525143 @default.
- W4226490500 hasConceptScore W4226490500C136643341 @default.
- W4226490500 hasConceptScore W4226490500C2524010 @default.
- W4226490500 hasConceptScore W4226490500C33923547 @default.
- W4226490500 hasConceptScore W4226490500C41008148 @default.
- W4226490500 hasConceptScore W4226490500C80444323 @default.
- W4226490500 hasLocation W42264905001 @default.
- W4226490500 hasOpenAccess W4226490500 @default.
- W4226490500 hasPrimaryLocation W42264905001 @default.
- W4226490500 hasRelatedWork W10012171 @default.
- W4226490500 hasRelatedWork W12980109 @default.
- W4226490500 hasRelatedWork W14010256 @default.
- W4226490500 hasRelatedWork W1657343 @default.
- W4226490500 hasRelatedWork W471352 @default.
- W4226490500 hasRelatedWork W5374421 @default.
- W4226490500 hasRelatedWork W5685231 @default.
- W4226490500 hasRelatedWork W6148599 @default.
- W4226490500 hasRelatedWork W7903659 @default.
- W4226490500 hasRelatedWork W833112 @default.
- W4226490500 isParatext "false" @default.
- W4226490500 isRetracted "false" @default.
- W4226490500 workType "article" @default.