Matches in SemOpenAlex for { <https://semopenalex.org/work/W2497009467> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2497009467 endingPage "103" @default.
- W2497009467 startingPage "94" @default.
- W2497009467 abstract "We report work in progress on a distributed version of explicit state space generation in the Petri net verification tool LoLA. We propose a data structure where all available memory of all involved workstations can be fully exploited, and load balancing actions are possible at any time while the verification is running. It is even possible to extend the set of involved workstations while a verification is running." @default.
- W2497009467 created "2016-08-23" @default.
- W2497009467 creator A5063429390 @default.
- W2497009467 date "2002-01-01" @default.
- W2497009467 modified "2023-09-23" @default.
- W2497009467 title "Distributed verification with LoLA." @default.
- W2497009467 hasPublicationYear "2002" @default.
- W2497009467 type Work @default.
- W2497009467 sameAs 2497009467 @default.
- W2497009467 citedByCount "0" @default.
- W2497009467 crossrefType "proceedings-article" @default.
- W2497009467 hasAuthorship W2497009467A5063429390 @default.
- W2497009467 hasConcept C105795698 @default.
- W2497009467 hasConcept C111498074 @default.
- W2497009467 hasConcept C111919701 @default.
- W2497009467 hasConcept C120314980 @default.
- W2497009467 hasConcept C162319229 @default.
- W2497009467 hasConcept C177264268 @default.
- W2497009467 hasConcept C199360897 @default.
- W2497009467 hasConcept C33923547 @default.
- W2497009467 hasConcept C38677869 @default.
- W2497009467 hasConcept C41008148 @default.
- W2497009467 hasConcept C48103436 @default.
- W2497009467 hasConcept C67953723 @default.
- W2497009467 hasConcept C72434380 @default.
- W2497009467 hasConceptScore W2497009467C105795698 @default.
- W2497009467 hasConceptScore W2497009467C111498074 @default.
- W2497009467 hasConceptScore W2497009467C111919701 @default.
- W2497009467 hasConceptScore W2497009467C120314980 @default.
- W2497009467 hasConceptScore W2497009467C162319229 @default.
- W2497009467 hasConceptScore W2497009467C177264268 @default.
- W2497009467 hasConceptScore W2497009467C199360897 @default.
- W2497009467 hasConceptScore W2497009467C33923547 @default.
- W2497009467 hasConceptScore W2497009467C38677869 @default.
- W2497009467 hasConceptScore W2497009467C41008148 @default.
- W2497009467 hasConceptScore W2497009467C48103436 @default.
- W2497009467 hasConceptScore W2497009467C67953723 @default.
- W2497009467 hasConceptScore W2497009467C72434380 @default.
- W2497009467 hasLocation W24970094671 @default.
- W2497009467 hasOpenAccess W2497009467 @default.
- W2497009467 hasPrimaryLocation W24970094671 @default.
- W2497009467 hasRelatedWork W1493893823 @default.
- W2497009467 hasRelatedWork W1579904951 @default.
- W2497009467 hasRelatedWork W1730249307 @default.
- W2497009467 hasRelatedWork W2001155147 @default.
- W2497009467 hasRelatedWork W2021167564 @default.
- W2497009467 hasRelatedWork W2045063824 @default.
- W2497009467 hasRelatedWork W2060066096 @default.
- W2497009467 hasRelatedWork W2087688016 @default.
- W2497009467 hasRelatedWork W2093827182 @default.
- W2497009467 hasRelatedWork W2115355813 @default.
- W2497009467 hasRelatedWork W2168393510 @default.
- W2497009467 hasRelatedWork W2170861540 @default.
- W2497009467 hasRelatedWork W22174341 @default.
- W2497009467 hasRelatedWork W2401206073 @default.
- W2497009467 hasRelatedWork W2747443784 @default.
- W2497009467 hasRelatedWork W2763294113 @default.
- W2497009467 hasRelatedWork W2912832009 @default.
- W2497009467 hasRelatedWork W3200544313 @default.
- W2497009467 hasRelatedWork W2221358908 @default.
- W2497009467 hasRelatedWork W2287077847 @default.
- W2497009467 isParatext "false" @default.
- W2497009467 isRetracted "false" @default.
- W2497009467 magId "2497009467" @default.
- W2497009467 workType "article" @default.