Matches in SemOpenAlex for { <https://semopenalex.org/work/W2613339562> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W2613339562 created "2017-05-19" @default.
- W2613339562 creator A5078732211 @default.
- W2613339562 creator A5051200842 @default.
- W2613339562 date "2001-01-01" @default.
- W2613339562 modified "2023-09-27" @default.
- W2613339562 title "unfsmodels 0.9: an LTL model checker using net unfoldings" @default.
- W2613339562 hasPublicationYear "2001" @default.
- W2613339562 type Work @default.
- W2613339562 sameAs 2613339562 @default.
- W2613339562 citedByCount "0" @default.
- W2613339562 crossrefType "journal-article" @default.
- W2613339562 hasAuthorship W2613339562A5051200842 @default.
- W2613339562 hasAuthorship W2613339562A5078732211 @default.
- W2613339562 hasConcept C110251889 @default.
- W2613339562 hasConcept C14166107 @default.
- W2613339562 hasConcept C199360897 @default.
- W2613339562 hasConcept C2524010 @default.
- W2613339562 hasConcept C33923547 @default.
- W2613339562 hasConcept C41008148 @default.
- W2613339562 hasConceptScore W2613339562C110251889 @default.
- W2613339562 hasConceptScore W2613339562C14166107 @default.
- W2613339562 hasConceptScore W2613339562C199360897 @default.
- W2613339562 hasConceptScore W2613339562C2524010 @default.
- W2613339562 hasConceptScore W2613339562C33923547 @default.
- W2613339562 hasConceptScore W2613339562C41008148 @default.
- W2613339562 hasLocation W26133395621 @default.
- W2613339562 hasOpenAccess W2613339562 @default.
- W2613339562 hasPrimaryLocation W26133395621 @default.
- W2613339562 hasRelatedWork W14491291 @default.
- W2613339562 hasRelatedWork W1483155743 @default.
- W2613339562 hasRelatedWork W1494753485 @default.
- W2613339562 hasRelatedWork W1522291454 @default.
- W2613339562 hasRelatedWork W1553001612 @default.
- W2613339562 hasRelatedWork W15568459 @default.
- W2613339562 hasRelatedWork W1566249614 @default.
- W2613339562 hasRelatedWork W1577477354 @default.
- W2613339562 hasRelatedWork W1682790944 @default.
- W2613339562 hasRelatedWork W1869902779 @default.
- W2613339562 hasRelatedWork W1992189517 @default.
- W2613339562 hasRelatedWork W2313266463 @default.
- W2613339562 hasRelatedWork W2396868680 @default.
- W2613339562 hasRelatedWork W2427421371 @default.
- W2613339562 hasRelatedWork W2611890676 @default.
- W2613339562 hasRelatedWork W2911168979 @default.
- W2613339562 hasRelatedWork W2936692499 @default.
- W2613339562 hasRelatedWork W3023118559 @default.
- W2613339562 hasRelatedWork W3147114907 @default.
- W2613339562 hasRelatedWork W3184704263 @default.
- W2613339562 isParatext "false" @default.
- W2613339562 isRetracted "false" @default.
- W2613339562 magId "2613339562" @default.
- W2613339562 workType "article" @default.