Matches in SemOpenAlex for { <https://semopenalex.org/work/W4238221330> ?p ?o ?g. }
Showing items 1 to 43 of
43
with 100 items per page.
- W4238221330 created "2022-05-12" @default.
- W4238221330 creator A5002913760 @default.
- W4238221330 creator A5006459848 @default.
- W4238221330 creator A5044286809 @default.
- W4238221330 creator A5086757331 @default.
- W4238221330 date "2004-11-08" @default.
- W4238221330 modified "2023-09-24" @default.
- W4238221330 title "Analyzing interaction orderings with model checking" @default.
- W4238221330 doi "https://doi.org/10.1109/ase.2004.1342733" @default.
- W4238221330 hasPublicationYear "2004" @default.
- W4238221330 type Work @default.
- W4238221330 citedByCount "10" @default.
- W4238221330 countsByYear W42382213302012 @default.
- W4238221330 countsByYear W42382213302013 @default.
- W4238221330 countsByYear W42382213302014 @default.
- W4238221330 countsByYear W42382213302015 @default.
- W4238221330 crossrefType "proceedings-article" @default.
- W4238221330 hasAuthorship W4238221330A5002913760 @default.
- W4238221330 hasAuthorship W4238221330A5006459848 @default.
- W4238221330 hasAuthorship W4238221330A5044286809 @default.
- W4238221330 hasAuthorship W4238221330A5086757331 @default.
- W4238221330 hasConcept C110251889 @default.
- W4238221330 hasConcept C41008148 @default.
- W4238221330 hasConcept C80444323 @default.
- W4238221330 hasConceptScore W4238221330C110251889 @default.
- W4238221330 hasConceptScore W4238221330C41008148 @default.
- W4238221330 hasConceptScore W4238221330C80444323 @default.
- W4238221330 hasLocation W42382213301 @default.
- W4238221330 hasOpenAccess W4238221330 @default.
- W4238221330 hasPrimaryLocation W42382213301 @default.
- W4238221330 hasRelatedWork W1485135523 @default.
- W4238221330 hasRelatedWork W1543150587 @default.
- W4238221330 hasRelatedWork W1557832504 @default.
- W4238221330 hasRelatedWork W1663101133 @default.
- W4238221330 hasRelatedWork W1801993675 @default.
- W4238221330 hasRelatedWork W2042310182 @default.
- W4238221330 hasRelatedWork W2170306229 @default.
- W4238221330 hasRelatedWork W2364866360 @default.
- W4238221330 hasRelatedWork W3082222891 @default.
- W4238221330 hasRelatedWork W38902447 @default.
- W4238221330 isParatext "false" @default.
- W4238221330 isRetracted "false" @default.
- W4238221330 workType "article" @default.