Matches in SemOpenAlex for { <https://semopenalex.org/work/W1601693417> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1601693417 endingPage "348" @default.
- W1601693417 startingPage "329" @default.
- W1601693417 abstract "The efficient representation and manipulation of time information is key to any successful implementation of a verification tool. We extend the syntax and semantics of the higher level specification language Promela to include constructs and statements based on the model of timed Büchi automata [2]. We implement these extensions on top of the verification tool Spin." @default.
- W1601693417 created "2016-06-24" @default.
- W1601693417 creator A5005174253 @default.
- W1601693417 creator A5080042319 @default.
- W1601693417 date "1996-01-01" @default.
- W1601693417 modified "2023-10-08" @default.
- W1601693417 title "Extending promela and spin for real time" @default.
- W1601693417 cites W1523442991 @default.
- W1601693417 cites W1880434550 @default.
- W1601693417 cites W1967333679 @default.
- W1601693417 cites W2166071597 @default.
- W1601693417 doi "https://doi.org/10.1007/3-540-61042-1_53" @default.
- W1601693417 hasPublicationYear "1996" @default.
- W1601693417 type Work @default.
- W1601693417 sameAs 1601693417 @default.
- W1601693417 citedByCount "52" @default.
- W1601693417 countsByYear W16016934172013 @default.
- W1601693417 countsByYear W16016934172014 @default.
- W1601693417 countsByYear W16016934172015 @default.
- W1601693417 countsByYear W16016934172016 @default.
- W1601693417 countsByYear W16016934172017 @default.
- W1601693417 countsByYear W16016934172018 @default.
- W1601693417 countsByYear W16016934172021 @default.
- W1601693417 countsByYear W16016934172023 @default.
- W1601693417 crossrefType "book-chapter" @default.
- W1601693417 hasAuthorship W1601693417A5005174253 @default.
- W1601693417 hasAuthorship W1601693417A5080042319 @default.
- W1601693417 hasBestOaLocation W16016934171 @default.
- W1601693417 hasConcept C110251889 @default.
- W1601693417 hasConcept C111498074 @default.
- W1601693417 hasConcept C111919701 @default.
- W1601693417 hasConcept C112505250 @default.
- W1601693417 hasConcept C165753454 @default.
- W1601693417 hasConcept C167822520 @default.
- W1601693417 hasConcept C17744445 @default.
- W1601693417 hasConcept C184337299 @default.
- W1601693417 hasConcept C194525867 @default.
- W1601693417 hasConcept C199360897 @default.
- W1601693417 hasConcept C199539241 @default.
- W1601693417 hasConcept C204321447 @default.
- W1601693417 hasConcept C26517878 @default.
- W1601693417 hasConcept C2776329536 @default.
- W1601693417 hasConcept C2776359362 @default.
- W1601693417 hasConcept C41008148 @default.
- W1601693417 hasConcept C60048249 @default.
- W1601693417 hasConcept C80444323 @default.
- W1601693417 hasConcept C94625758 @default.
- W1601693417 hasConceptScore W1601693417C110251889 @default.
- W1601693417 hasConceptScore W1601693417C111498074 @default.
- W1601693417 hasConceptScore W1601693417C111919701 @default.
- W1601693417 hasConceptScore W1601693417C112505250 @default.
- W1601693417 hasConceptScore W1601693417C165753454 @default.
- W1601693417 hasConceptScore W1601693417C167822520 @default.
- W1601693417 hasConceptScore W1601693417C17744445 @default.
- W1601693417 hasConceptScore W1601693417C184337299 @default.
- W1601693417 hasConceptScore W1601693417C194525867 @default.
- W1601693417 hasConceptScore W1601693417C199360897 @default.
- W1601693417 hasConceptScore W1601693417C199539241 @default.
- W1601693417 hasConceptScore W1601693417C204321447 @default.
- W1601693417 hasConceptScore W1601693417C26517878 @default.
- W1601693417 hasConceptScore W1601693417C2776329536 @default.
- W1601693417 hasConceptScore W1601693417C2776359362 @default.
- W1601693417 hasConceptScore W1601693417C41008148 @default.
- W1601693417 hasConceptScore W1601693417C60048249 @default.
- W1601693417 hasConceptScore W1601693417C80444323 @default.
- W1601693417 hasConceptScore W1601693417C94625758 @default.
- W1601693417 hasLocation W16016934171 @default.
- W1601693417 hasOpenAccess W1601693417 @default.
- W1601693417 hasPrimaryLocation W16016934171 @default.
- W1601693417 hasRelatedWork W1601693417 @default.
- W1601693417 hasRelatedWork W174007698 @default.
- W1601693417 hasRelatedWork W1967076997 @default.
- W1601693417 hasRelatedWork W1988050447 @default.
- W1601693417 hasRelatedWork W2126748297 @default.
- W1601693417 hasRelatedWork W2151277984 @default.
- W1601693417 hasRelatedWork W2151898527 @default.
- W1601693417 hasRelatedWork W2741430969 @default.
- W1601693417 hasRelatedWork W51650568 @default.
- W1601693417 hasRelatedWork W57072711 @default.
- W1601693417 isParatext "false" @default.
- W1601693417 isRetracted "false" @default.
- W1601693417 magId "1601693417" @default.
- W1601693417 workType "book-chapter" @default.