Matches in SemOpenAlex for { <https://semopenalex.org/work/W627571476> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W627571476 endingPage "304" @default.
- W627571476 startingPage "295" @default.
- W627571476 created "2016-06-24" @default.
- W627571476 creator A5040487816 @default.
- W627571476 creator A5055540408 @default.
- W627571476 date "2013-01-01" @default.
- W627571476 modified "2023-09-23" @default.
- W627571476 title "Verifying Liveness in Supervised Systems Using UPPAAL and mCRL2" @default.
- W627571476 cites W1979349468 @default.
- W627571476 cites W1985861264 @default.
- W627571476 cites W1992707297 @default.
- W627571476 cites W1995831109 @default.
- W627571476 cites W2000947342 @default.
- W627571476 cites W2007108982 @default.
- W627571476 cites W2039568153 @default.
- W627571476 cites W2109220893 @default.
- W627571476 cites W2115570137 @default.
- W627571476 cites W2117189826 @default.
- W627571476 cites W2133925698 @default.
- W627571476 cites W2163119090 @default.
- W627571476 cites W2178250883 @default.
- W627571476 cites W3023554972 @default.
- W627571476 doi "https://doi.org/10.1007/978-3-642-37169-1_29" @default.
- W627571476 hasPublicationYear "2013" @default.
- W627571476 type Work @default.
- W627571476 sameAs 627571476 @default.
- W627571476 citedByCount "0" @default.
- W627571476 crossrefType "book-chapter" @default.
- W627571476 hasAuthorship W627571476A5040487816 @default.
- W627571476 hasAuthorship W627571476A5055540408 @default.
- W627571476 hasConcept C110251889 @default.
- W627571476 hasConcept C115903868 @default.
- W627571476 hasConcept C120314980 @default.
- W627571476 hasConcept C121332964 @default.
- W627571476 hasConcept C154945302 @default.
- W627571476 hasConcept C15569618 @default.
- W627571476 hasConcept C166957645 @default.
- W627571476 hasConcept C199360897 @default.
- W627571476 hasConcept C2775924081 @default.
- W627571476 hasConcept C2778693208 @default.
- W627571476 hasConcept C2779662365 @default.
- W627571476 hasConcept C41008148 @default.
- W627571476 hasConcept C48103436 @default.
- W627571476 hasConcept C62520636 @default.
- W627571476 hasConcept C79581498 @default.
- W627571476 hasConcept C92991967 @default.
- W627571476 hasConcept C95457728 @default.
- W627571476 hasConceptScore W627571476C110251889 @default.
- W627571476 hasConceptScore W627571476C115903868 @default.
- W627571476 hasConceptScore W627571476C120314980 @default.
- W627571476 hasConceptScore W627571476C121332964 @default.
- W627571476 hasConceptScore W627571476C154945302 @default.
- W627571476 hasConceptScore W627571476C15569618 @default.
- W627571476 hasConceptScore W627571476C166957645 @default.
- W627571476 hasConceptScore W627571476C199360897 @default.
- W627571476 hasConceptScore W627571476C2775924081 @default.
- W627571476 hasConceptScore W627571476C2778693208 @default.
- W627571476 hasConceptScore W627571476C2779662365 @default.
- W627571476 hasConceptScore W627571476C41008148 @default.
- W627571476 hasConceptScore W627571476C48103436 @default.
- W627571476 hasConceptScore W627571476C62520636 @default.
- W627571476 hasConceptScore W627571476C79581498 @default.
- W627571476 hasConceptScore W627571476C92991967 @default.
- W627571476 hasConceptScore W627571476C95457728 @default.
- W627571476 hasLocation W6275714761 @default.
- W627571476 hasOpenAccess W627571476 @default.
- W627571476 hasPrimaryLocation W6275714761 @default.
- W627571476 hasRelatedWork W1566197891 @default.
- W627571476 hasRelatedWork W1667530748 @default.
- W627571476 hasRelatedWork W2172083724 @default.
- W627571476 hasRelatedWork W2239262826 @default.
- W627571476 hasRelatedWork W2262667760 @default.
- W627571476 hasRelatedWork W2380026847 @default.
- W627571476 hasRelatedWork W2471644404 @default.
- W627571476 hasRelatedWork W2766647807 @default.
- W627571476 hasRelatedWork W2909084912 @default.
- W627571476 hasRelatedWork W627571476 @default.
- W627571476 isParatext "false" @default.
- W627571476 isRetracted "false" @default.
- W627571476 magId "627571476" @default.
- W627571476 workType "book-chapter" @default.