About: covid:arg/3f3865fb7d4a528e0b349a5ef77d5da04ce11cad/0

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: covid:arg/3f3865fb7d4a528e0b349a5ef77d5da04ce11cad/0 Goto Sponge NotDistinct Permalink

An Entity of Type : amo:Claim, within Data Space : wasabi.inria.fr associated with source document(s)

Attributes	Values
type	sioca:Idea aif:I-node aif:KnowledgePosition_Statement claim
wasQuotedFrom	Verified Certification of Reachability Checking for Timed Automata
aif:claimText	This allows us to benefit from better approximation operations for symbolic states , and reduces execution time by exploring fewer states and by exploiting parallelism .
is has claim of	covid:arg/3f3865fb7d4a528e0b349a5ef77d5da04ce11cad

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software