Matches in SemOpenAlex for { <https://semopenalex.org/work/W15568459> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W15568459 endingPage "5" @default.
- W15568459 startingPage "1" @default.
- W15568459 created "2016-06-24" @default.
- W15568459 creator A5055547076 @default.
- W15568459 creator A5085590294 @default.
- W15568459 date "2001-01-01" @default.
- W15568459 modified "2023-09-27" @default.
- W15568459 title "Model checking time petri nets using NuSMV" @default.
- W15568459 hasPublicationYear "2001" @default.
- W15568459 type Work @default.
- W15568459 sameAs 15568459 @default.
- W15568459 citedByCount "2" @default.
- W15568459 countsByYear W155684592013 @default.
- W15568459 crossrefType "journal-article" @default.
- W15568459 hasAuthorship W15568459A5055547076 @default.
- W15568459 hasAuthorship W15568459A5085590294 @default.
- W15568459 hasConcept C110251889 @default.
- W15568459 hasConcept C199360897 @default.
- W15568459 hasConcept C38677869 @default.
- W15568459 hasConcept C41008148 @default.
- W15568459 hasConceptScore W15568459C110251889 @default.
- W15568459 hasConceptScore W15568459C199360897 @default.
- W15568459 hasConceptScore W15568459C38677869 @default.
- W15568459 hasConceptScore W15568459C41008148 @default.
- W15568459 hasLocation W155684591 @default.
- W15568459 hasOpenAccess W15568459 @default.
- W15568459 hasPrimaryLocation W155684591 @default.
- W15568459 hasRelatedWork W110412353 @default.
- W15568459 hasRelatedWork W14491291 @default.
- W15568459 hasRelatedWork W1483155743 @default.
- W15568459 hasRelatedWork W1552772266 @default.
- W15568459 hasRelatedWork W1588548112 @default.
- W15568459 hasRelatedWork W1713029679 @default.
- W15568459 hasRelatedWork W1973091457 @default.
- W15568459 hasRelatedWork W1985055083 @default.
- W15568459 hasRelatedWork W2257164716 @default.
- W15568459 hasRelatedWork W2295361941 @default.
- W15568459 hasRelatedWork W2398222887 @default.
- W15568459 hasRelatedWork W2427421371 @default.
- W15568459 hasRelatedWork W2471900662 @default.
- W15568459 hasRelatedWork W2594010745 @default.
- W15568459 hasRelatedWork W2611890676 @default.
- W15568459 hasRelatedWork W2899193602 @default.
- W15568459 hasRelatedWork W3147114907 @default.
- W15568459 hasRelatedWork W3174622813 @default.
- W15568459 hasRelatedWork W3204195143 @default.
- W15568459 hasRelatedWork W3193599286 @default.
- W15568459 isParatext "false" @default.
- W15568459 isRetracted "false" @default.
- W15568459 magId "15568459" @default.
- W15568459 workType "article" @default.