Matches in SemOpenAlex for { <https://semopenalex.org/work/W59352303> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W59352303 endingPage "75" @default.
- W59352303 startingPage "70" @default.
- W59352303 created "2016-06-24" @default.
- W59352303 creator A5086336877 @default.
- W59352303 date "1997-01-01" @default.
- W59352303 modified "2023-09-23" @default.
- W59352303 title "On proving large distributed systems: Petri net modules verification" @default.
- W59352303 cites W1506588809 @default.
- W59352303 cites W4249538237 @default.
- W59352303 doi "https://doi.org/10.1007/3-540-63371-5_8" @default.
- W59352303 hasPublicationYear "1997" @default.
- W59352303 type Work @default.
- W59352303 sameAs 59352303 @default.
- W59352303 citedByCount "6" @default.
- W59352303 countsByYear W593523032012 @default.
- W59352303 countsByYear W593523032017 @default.
- W59352303 crossrefType "book-chapter" @default.
- W59352303 hasAuthorship W59352303A5086336877 @default.
- W59352303 hasConcept C111498074 @default.
- W59352303 hasConcept C116253237 @default.
- W59352303 hasConcept C120314980 @default.
- W59352303 hasConcept C12426560 @default.
- W59352303 hasConcept C136155141 @default.
- W59352303 hasConcept C197551870 @default.
- W59352303 hasConcept C199360897 @default.
- W59352303 hasConcept C25016198 @default.
- W59352303 hasConcept C2524010 @default.
- W59352303 hasConcept C33923547 @default.
- W59352303 hasConcept C38677869 @default.
- W59352303 hasConcept C41008148 @default.
- W59352303 hasConcept C75606506 @default.
- W59352303 hasConcept C80444323 @default.
- W59352303 hasConceptScore W59352303C111498074 @default.
- W59352303 hasConceptScore W59352303C116253237 @default.
- W59352303 hasConceptScore W59352303C120314980 @default.
- W59352303 hasConceptScore W59352303C12426560 @default.
- W59352303 hasConceptScore W59352303C136155141 @default.
- W59352303 hasConceptScore W59352303C197551870 @default.
- W59352303 hasConceptScore W59352303C199360897 @default.
- W59352303 hasConceptScore W59352303C25016198 @default.
- W59352303 hasConceptScore W59352303C2524010 @default.
- W59352303 hasConceptScore W59352303C33923547 @default.
- W59352303 hasConceptScore W59352303C38677869 @default.
- W59352303 hasConceptScore W59352303C41008148 @default.
- W59352303 hasConceptScore W59352303C75606506 @default.
- W59352303 hasConceptScore W59352303C80444323 @default.
- W59352303 hasLocation W593523031 @default.
- W59352303 hasOpenAccess W59352303 @default.
- W59352303 hasPrimaryLocation W593523031 @default.
- W59352303 hasRelatedWork W1491709828 @default.
- W59352303 hasRelatedWork W1525508525 @default.
- W59352303 hasRelatedWork W1553001612 @default.
- W59352303 hasRelatedWork W1564726518 @default.
- W59352303 hasRelatedWork W1589975973 @default.
- W59352303 hasRelatedWork W2078423317 @default.
- W59352303 hasRelatedWork W2083099459 @default.
- W59352303 hasRelatedWork W2328371635 @default.
- W59352303 hasRelatedWork W2330297744 @default.
- W59352303 hasRelatedWork W2344898064 @default.
- W59352303 hasRelatedWork W2414463920 @default.
- W59352303 hasRelatedWork W2526221129 @default.
- W59352303 hasRelatedWork W2912007209 @default.
- W59352303 hasRelatedWork W2916064013 @default.
- W59352303 hasRelatedWork W2998891316 @default.
- W59352303 hasRelatedWork W3005923035 @default.
- W59352303 hasRelatedWork W797770237 @default.
- W59352303 hasRelatedWork W2562561508 @default.
- W59352303 hasRelatedWork W2758471723 @default.
- W59352303 hasRelatedWork W4629738 @default.
- W59352303 isParatext "false" @default.
- W59352303 isRetracted "false" @default.
- W59352303 magId "59352303" @default.
- W59352303 workType "book-chapter" @default.