FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1533382912> ?p ?o ?g. }

• W1533382912 endingPage "1558" @default.
• W1533382912 startingPage "1553" @default.
• W1533382912 abstract "The paper presents the semantics for the time version of the Alvis modelling language. Alvis combines possibilities of formal models verification with flexibility and simplicity of practical programming languages. The considered time Alvis language is suitable for formal verification of real-time systems. The paper contains description of: the Alvis time model, states and transitions between states and snapshot reachability graphs that represent models state spaces in the form of directed graphs." @default.
• W1533382912 created "2016-06-24" @default.
• W1533382912 creator A5014537752 @default.
• W1533382912 creator A5020933387 @default.
• W1533382912 creator A5037638397 @default.
• W1533382912 date "2013-11-07" @default.
• W1533382912 modified "2023-10-02" @default.
• W1533382912 title "Alvis language with time dependence" @default.
• W1533382912 cites W1481862033 @default.
• W1533382912 cites W1498432697 @default.
• W1533382912 cites W1503973138 @default.
• W1533382912 cites W1507281497 @default.
• W1533382912 cites W1518292187 @default.
• W1533382912 cites W1535591270 @default.
• W1533382912 cites W1568573127 @default.
• W1533382912 cites W1587782590 @default.
• W1533382912 cites W1641456500 @default.
• W1533382912 cites W1675907549 @default.
• W1533382912 cites W1733931661 @default.
• W1533382912 cites W189322906 @default.
• W1533382912 cites W1969170063 @default.
• W1533382912 cites W1994445370 @default.
• W1533382912 cites W2026591657 @default.
• W1533382912 cites W2101171149 @default.
• W1533382912 cites W2101508170 @default.
• W1533382912 cites W2121812942 @default.
• W1533382912 cites W2141215508 @default.
• W1533382912 cites W2151009462 @default.
• W1533382912 cites W2215978394 @default.
• W1533382912 cites W2489627556 @default.
• W1533382912 cites W2995900119 @default.
• W1533382912 cites W32403523 @default.
• W1533382912 cites W358444390 @default.
• W1533382912 hasPublicationYear "2013" @default.
• W1533382912 type Work @default.
• W1533382912 sameAs 1533382912 @default.
• W1533382912 citedByCount "6" @default.
• W1533382912 countsByYear W15333829122013 @default.
• W1533382912 countsByYear W15333829122014 @default.
• W1533382912 countsByYear W15333829122015 @default.
• W1533382912 countsByYear W15333829122016 @default.
• W1533382912 crossrefType "proceedings-article" @default.
• W1533382912 hasAuthorship W1533382912A5014537752 @default.
• W1533382912 hasAuthorship W1533382912A5020933387 @default.
• W1533382912 hasAuthorship W1533382912A5037638397 @default.
• W1533382912 hasConcept C105795698 @default.
• W1533382912 hasConcept C111472728 @default.
• W1533382912 hasConcept C136643341 @default.
• W1533382912 hasConcept C138885662 @default.
• W1533382912 hasConcept C146072743 @default.
• W1533382912 hasConcept C184337299 @default.
• W1533382912 hasConcept C199360897 @default.
• W1533382912 hasConcept C2776372474 @default.
• W1533382912 hasConcept C2780598303 @default.
• W1533382912 hasConcept C33923547 @default.
• W1533382912 hasConcept C41008148 @default.
• W1533382912 hasConcept C48103436 @default.
• W1533382912 hasConcept C55282118 @default.
• W1533382912 hasConcept C75606506 @default.
• W1533382912 hasConcept C77088390 @default.
• W1533382912 hasConcept C80444323 @default.
• W1533382912 hasConceptScore W1533382912C105795698 @default.
• W1533382912 hasConceptScore W1533382912C111472728 @default.
• W1533382912 hasConceptScore W1533382912C136643341 @default.
• W1533382912 hasConceptScore W1533382912C138885662 @default.
• W1533382912 hasConceptScore W1533382912C146072743 @default.
• W1533382912 hasConceptScore W1533382912C184337299 @default.
• W1533382912 hasConceptScore W1533382912C199360897 @default.
• W1533382912 hasConceptScore W1533382912C2776372474 @default.
• W1533382912 hasConceptScore W1533382912C2780598303 @default.
• W1533382912 hasConceptScore W1533382912C33923547 @default.
• W1533382912 hasConceptScore W1533382912C41008148 @default.
• W1533382912 hasConceptScore W1533382912C48103436 @default.
• W1533382912 hasConceptScore W1533382912C55282118 @default.
• W1533382912 hasConceptScore W1533382912C75606506 @default.
• W1533382912 hasConceptScore W1533382912C77088390 @default.
• W1533382912 hasConceptScore W1533382912C80444323 @default.
• W1533382912 hasLocation W15333829121 @default.
• W1533382912 hasOpenAccess W1533382912 @default.
• W1533382912 hasPrimaryLocation W15333829121 @default.
• W1533382912 hasRelatedWork W1498432697 @default.
• W1533382912 hasRelatedWork W1507281497 @default.
• W1533382912 hasRelatedWork W1542207000 @default.
• W1533382912 hasRelatedWork W1587782590 @default.
• W1533382912 hasRelatedWork W1593065203 @default.
• W1533382912 hasRelatedWork W1675907549 @default.
• W1533382912 hasRelatedWork W189322906 @default.
• W1533382912 hasRelatedWork W2050151907 @default.
• W1533382912 hasRelatedWork W2085503270 @default.
• W1533382912 hasRelatedWork W2109121163 @default.
• W1533382912 hasRelatedWork W2111041346 @default.
• W1533382912 hasRelatedWork W2129292921 @default.
• W1533382912 hasRelatedWork W2149265828 @default.
• W1533382912 hasRelatedWork W2160224367 @default.
• W1533382912 hasRelatedWork W2167978186 @default.
• W1533382912 hasRelatedWork W2168927272 @default.
• W1533382912 hasRelatedWork W2242425235 @default.
• W1533382912 hasRelatedWork W2535818195 @default.

• next