Matches in SemOpenAlex for { <https://semopenalex.org/work/W249106340> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W249106340 endingPage "374" @default.
- W249106340 startingPage "363" @default.
- W249106340 created "2016-06-24" @default.
- W249106340 creator A5035781123 @default.
- W249106340 creator A5058739699 @default.
- W249106340 date "2000-01-01" @default.
- W249106340 modified "2023-09-26" @default.
- W249106340 title "An Efficient Tableau-Based Verification Method with Partial Evaluation for Reactive System Specifications." @default.
- W249106340 hasPublicationYear "2000" @default.
- W249106340 type Work @default.
- W249106340 sameAs 249106340 @default.
- W249106340 citedByCount "0" @default.
- W249106340 crossrefType "journal-article" @default.
- W249106340 hasAuthorship W249106340A5035781123 @default.
- W249106340 hasAuthorship W249106340A5058739699 @default.
- W249106340 hasConcept C11413529 @default.
- W249106340 hasConcept C114614502 @default.
- W249106340 hasConcept C33923547 @default.
- W249106340 hasConceptScore W249106340C11413529 @default.
- W249106340 hasConceptScore W249106340C114614502 @default.
- W249106340 hasConceptScore W249106340C33923547 @default.
- W249106340 hasLocation W2491063401 @default.
- W249106340 hasOpenAccess W249106340 @default.
- W249106340 hasPrimaryLocation W2491063401 @default.
- W249106340 hasRelatedWork W1140958732 @default.
- W249106340 hasRelatedWork W147593471 @default.
- W249106340 hasRelatedWork W1486998934 @default.
- W249106340 hasRelatedWork W1498113537 @default.
- W249106340 hasRelatedWork W1575118279 @default.
- W249106340 hasRelatedWork W1590849109 @default.
- W249106340 hasRelatedWork W1603832849 @default.
- W249106340 hasRelatedWork W2004010403 @default.
- W249106340 hasRelatedWork W2014573220 @default.
- W249106340 hasRelatedWork W2104933828 @default.
- W249106340 hasRelatedWork W2143015677 @default.
- W249106340 hasRelatedWork W2257353559 @default.
- W249106340 hasRelatedWork W2403117393 @default.
- W249106340 hasRelatedWork W2537117034 @default.
- W249106340 hasRelatedWork W2613475742 @default.
- W249106340 hasRelatedWork W3027455787 @default.
- W249106340 hasRelatedWork W646792496 @default.
- W249106340 hasRelatedWork W2526106663 @default.
- W249106340 hasRelatedWork W2588421375 @default.
- W249106340 hasRelatedWork W2778942055 @default.
- W249106340 isParatext "false" @default.
- W249106340 isRetracted "false" @default.
- W249106340 magId "249106340" @default.
- W249106340 workType "article" @default.