Matches in SemOpenAlex for { <https://semopenalex.org/work/W2436667368> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W2436667368 created "2016-06-24" @default.
- W2436667368 creator A5052447448 @default.
- W2436667368 creator A5055415505 @default.
- W2436667368 creator A5087909916 @default.
- W2436667368 date "2015-01-01" @default.
- W2436667368 modified "2023-09-25" @default.
- W2436667368 title "MCMAS-SL[1G]: A model checker for the verification of one-goal strategy logic specifications" @default.
- W2436667368 hasPublicationYear "2015" @default.
- W2436667368 type Work @default.
- W2436667368 sameAs 2436667368 @default.
- W2436667368 citedByCount "1" @default.
- W2436667368 countsByYear W24366673682015 @default.
- W2436667368 crossrefType "journal-article" @default.
- W2436667368 hasAuthorship W2436667368A5052447448 @default.
- W2436667368 hasAuthorship W2436667368A5055415505 @default.
- W2436667368 hasAuthorship W2436667368A5087909916 @default.
- W2436667368 hasConcept C110251889 @default.
- W2436667368 hasConcept C115903868 @default.
- W2436667368 hasConcept C199360897 @default.
- W2436667368 hasConcept C25016198 @default.
- W2436667368 hasConcept C41008148 @default.
- W2436667368 hasConceptScore W2436667368C110251889 @default.
- W2436667368 hasConceptScore W2436667368C115903868 @default.
- W2436667368 hasConceptScore W2436667368C199360897 @default.
- W2436667368 hasConceptScore W2436667368C25016198 @default.
- W2436667368 hasConceptScore W2436667368C41008148 @default.
- W2436667368 hasLocation W24366673681 @default.
- W2436667368 hasOpenAccess W2436667368 @default.
- W2436667368 hasPrimaryLocation W24366673681 @default.
- W2436667368 hasRelatedWork W1499715382 @default.
- W2436667368 hasRelatedWork W1541426137 @default.
- W2436667368 hasRelatedWork W1545365990 @default.
- W2436667368 hasRelatedWork W1563202346 @default.
- W2436667368 hasRelatedWork W1574819315 @default.
- W2436667368 hasRelatedWork W1582717179 @default.
- W2436667368 hasRelatedWork W1593793497 @default.
- W2436667368 hasRelatedWork W174710947 @default.
- W2436667368 hasRelatedWork W1970004368 @default.
- W2436667368 hasRelatedWork W202142858 @default.
- W2436667368 hasRelatedWork W2091946694 @default.
- W2436667368 hasRelatedWork W2097167878 @default.
- W2436667368 hasRelatedWork W2107628156 @default.
- W2436667368 hasRelatedWork W2159970028 @default.
- W2436667368 hasRelatedWork W2405297200 @default.
- W2436667368 hasRelatedWork W2549888479 @default.
- W2436667368 hasRelatedWork W2621233686 @default.
- W2436667368 hasRelatedWork W2741430969 @default.
- W2436667368 hasRelatedWork W2774415564 @default.
- W2436667368 hasRelatedWork W2952060807 @default.
- W2436667368 isParatext "false" @default.
- W2436667368 isRetracted "false" @default.
- W2436667368 magId "2436667368" @default.
- W2436667368 workType "article" @default.