Matches in SemOpenAlex for { <https://semopenalex.org/work/W4292002136> ?p ?o ?g. }
Showing items 1 to 42 of
42
with 100 items per page.
- W4292002136 created "2022-08-16" @default.
- W4292002136 creator A5007351802 @default.
- W4292002136 date "2004-11-28" @default.
- W4292002136 modified "2023-09-27" @default.
- W4292002136 title "FBT: A Tool for Applying Interval Logic Specifications to On-the-fly Model Checking" @default.
- W4292002136 doi "https://doi.org/10.3217/jucs-010-11-1498" @default.
- W4292002136 hasPublicationYear "2004" @default.
- W4292002136 type Work @default.
- W4292002136 citedByCount "0" @default.
- W4292002136 crossrefType "journal-article" @default.
- W4292002136 hasAuthorship W4292002136A5007351802 @default.
- W4292002136 hasBestOaLocation W42920021361 @default.
- W4292002136 hasConcept C110251889 @default.
- W4292002136 hasConcept C114614502 @default.
- W4292002136 hasConcept C198008173 @default.
- W4292002136 hasConcept C199360897 @default.
- W4292002136 hasConcept C2778067643 @default.
- W4292002136 hasConcept C33923547 @default.
- W4292002136 hasConcept C41008148 @default.
- W4292002136 hasConceptScore W4292002136C110251889 @default.
- W4292002136 hasConceptScore W4292002136C114614502 @default.
- W4292002136 hasConceptScore W4292002136C198008173 @default.
- W4292002136 hasConceptScore W4292002136C199360897 @default.
- W4292002136 hasConceptScore W4292002136C2778067643 @default.
- W4292002136 hasConceptScore W4292002136C33923547 @default.
- W4292002136 hasConceptScore W4292002136C41008148 @default.
- W4292002136 hasLocation W42920021361 @default.
- W4292002136 hasOpenAccess W4292002136 @default.
- W4292002136 hasPrimaryLocation W42920021361 @default.
- W4292002136 hasRelatedWork W1485237120 @default.
- W4292002136 hasRelatedWork W1563374799 @default.
- W4292002136 hasRelatedWork W1567923353 @default.
- W4292002136 hasRelatedWork W171792540 @default.
- W4292002136 hasRelatedWork W2101412993 @default.
- W4292002136 hasRelatedWork W2122316816 @default.
- W4292002136 hasRelatedWork W2138161962 @default.
- W4292002136 hasRelatedWork W2151898527 @default.
- W4292002136 hasRelatedWork W2390589299 @default.
- W4292002136 hasRelatedWork W2752098725 @default.
- W4292002136 isParatext "false" @default.
- W4292002136 isRetracted "false" @default.
- W4292002136 workType "article" @default.