Matches in SemOpenAlex for { <https://semopenalex.org/work/W2893844855> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2893844855 endingPage "111" @default.
- W2893844855 startingPage "97" @default.
- W2893844855 created "2018-10-05" @default.
- W2893844855 creator A5071901297 @default.
- W2893844855 date "2018-01-01" @default.
- W2893844855 modified "2023-09-24" @default.
- W2893844855 title "Parameterized verification of publish/subcribe protocols via Infinite-State Model Checking" @default.
- W2893844855 cites W178138771 @default.
- W2893844855 cites W1967174286 @default.
- W2893844855 cites W2155037890 @default.
- W2893844855 cites W2246310302 @default.
- W2893844855 cites W2256984707 @default.
- W2893844855 cites W2285931649 @default.
- W2893844855 cites W2295571397 @default.
- W2893844855 cites W2579308870 @default.
- W2893844855 cites W3104749005 @default.
- W2893844855 hasPublicationYear "2018" @default.
- W2893844855 type Work @default.
- W2893844855 sameAs 2893844855 @default.
- W2893844855 citedByCount "0" @default.
- W2893844855 crossrefType "journal-article" @default.
- W2893844855 hasAuthorship W2893844855A5071901297 @default.
- W2893844855 hasConcept C110251889 @default.
- W2893844855 hasConcept C11413529 @default.
- W2893844855 hasConcept C165464430 @default.
- W2893844855 hasConcept C199360897 @default.
- W2893844855 hasConcept C41008148 @default.
- W2893844855 hasConcept C48103436 @default.
- W2893844855 hasConceptScore W2893844855C110251889 @default.
- W2893844855 hasConceptScore W2893844855C11413529 @default.
- W2893844855 hasConceptScore W2893844855C165464430 @default.
- W2893844855 hasConceptScore W2893844855C199360897 @default.
- W2893844855 hasConceptScore W2893844855C41008148 @default.
- W2893844855 hasConceptScore W2893844855C48103436 @default.
- W2893844855 hasLocation W28938448551 @default.
- W2893844855 hasOpenAccess W2893844855 @default.
- W2893844855 hasPrimaryLocation W28938448551 @default.
- W2893844855 hasRelatedWork W143018197 @default.
- W2893844855 hasRelatedWork W1480105416 @default.
- W2893844855 hasRelatedWork W1529696074 @default.
- W2893844855 hasRelatedWork W1531715720 @default.
- W2893844855 hasRelatedWork W1541174442 @default.
- W2893844855 hasRelatedWork W1545365990 @default.
- W2893844855 hasRelatedWork W1548768164 @default.
- W2893844855 hasRelatedWork W1558598345 @default.
- W2893844855 hasRelatedWork W1582600793 @default.
- W2893844855 hasRelatedWork W1582868218 @default.
- W2893844855 hasRelatedWork W1593793497 @default.
- W2893844855 hasRelatedWork W1605914607 @default.
- W2893844855 hasRelatedWork W19754935 @default.
- W2893844855 hasRelatedWork W2022154493 @default.
- W2893844855 hasRelatedWork W2107628156 @default.
- W2893844855 hasRelatedWork W2109039735 @default.
- W2893844855 hasRelatedWork W2155162307 @default.
- W2893844855 hasRelatedWork W2901005376 @default.
- W2893844855 hasRelatedWork W2473084937 @default.
- W2893844855 hasRelatedWork W2517452092 @default.
- W2893844855 hasVolume "2214" @default.
- W2893844855 isParatext "false" @default.
- W2893844855 isRetracted "false" @default.
- W2893844855 magId "2893844855" @default.
- W2893844855 workType "article" @default.