Matches in SemOpenAlex for { <https://semopenalex.org/work/W74989639> ?p ?o ?g. }
Showing items 1 to 45 of
45
with 100 items per page.
- W74989639 endingPage "149" @default.
- W74989639 startingPage "125" @default.
- W74989639 created "2016-06-24" @default.
- W74989639 creator A5078732211 @default.
- W74989639 creator A5090378914 @default.
- W74989639 date "2008-03-11" @default.
- W74989639 modified "2023-09-24" @default.
- W74989639 title "Model Checking LTL" @default.
- W74989639 doi "https://doi.org/10.1007/978-3-540-77426-6_8" @default.
- W74989639 hasPublicationYear "2008" @default.
- W74989639 type Work @default.
- W74989639 sameAs 74989639 @default.
- W74989639 citedByCount "0" @default.
- W74989639 crossrefType "book-chapter" @default.
- W74989639 hasAuthorship W74989639A5078732211 @default.
- W74989639 hasAuthorship W74989639A5090378914 @default.
- W74989639 hasConcept C41008148 @default.
- W74989639 hasConceptScore W74989639C41008148 @default.
- W74989639 hasLocation W749896391 @default.
- W74989639 hasOpenAccess W74989639 @default.
- W74989639 hasPrimaryLocation W749896391 @default.
- W74989639 hasRelatedWork W110366058 @default.
- W74989639 hasRelatedWork W1505315292 @default.
- W74989639 hasRelatedWork W1512512905 @default.
- W74989639 hasRelatedWork W1527462432 @default.
- W74989639 hasRelatedWork W1542921761 @default.
- W74989639 hasRelatedWork W1545067978 @default.
- W74989639 hasRelatedWork W1571825417 @default.
- W74989639 hasRelatedWork W197455753 @default.
- W74989639 hasRelatedWork W2021871133 @default.
- W74989639 hasRelatedWork W2096695961 @default.
- W74989639 hasRelatedWork W2106383176 @default.
- W74989639 hasRelatedWork W2234078087 @default.
- W74989639 hasRelatedWork W2350953867 @default.
- W74989639 hasRelatedWork W2363045166 @default.
- W74989639 hasRelatedWork W2529117015 @default.
- W74989639 hasRelatedWork W2547642499 @default.
- W74989639 hasRelatedWork W2591730923 @default.
- W74989639 hasRelatedWork W2997904052 @default.
- W74989639 hasRelatedWork W3005059235 @default.
- W74989639 hasRelatedWork W37645454 @default.
- W74989639 isParatext "false" @default.
- W74989639 isRetracted "false" @default.
- W74989639 magId "74989639" @default.
- W74989639 workType "book-chapter" @default.