FRINK Linked Data Fragments server

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

• W2034111423 endingPage "295" @default.
• W2034111423 startingPage "261" @default.
• W2034111423 abstract "This paper proposes a new theory of quantitative specifications. It generalizes the notions of step-wise refinement and compositional design operations from the Boolean to an arbitrary quantitative setting. Using a great number of examples, it is shown that this general approach permits to unify many interesting quantitative approaches to system design." @default.
• W2034111423 created "2016-06-24" @default.
• W2034111423 creator A5016501420 @default.
• W2034111423 creator A5030129842 @default.
• W2034111423 date "2014-03-13" @default.
• W2034111423 modified "2023-10-14" @default.
• W2034111423 title "General quantitative specification theories with modal transition systems" @default.
• W2034111423 cites W1484364085 @default.
• W2034111423 cites W1494664245 @default.
• W2034111423 cites W1507173517 @default.
• W2034111423 cites W1532760414 @default.
• W2034111423 cites W1540129897 @default.
• W2034111423 cites W1547562281 @default.
• W2034111423 cites W1551877760 @default.
• W2034111423 cites W1586805319 @default.
• W2034111423 cites W1757114815 @default.
• W2034111423 cites W1776738182 @default.
• W2034111423 cites W1823282488 @default.
• W2034111423 cites W1880384270 @default.
• W2034111423 cites W1910257044 @default.
• W2034111423 cites W191732302 @default.
• W2034111423 cites W1963951244 @default.
• W2034111423 cites W1971499713 @default.
• W2034111423 cites W1973154247 @default.
• W2034111423 cites W1987070417 @default.
• W2034111423 cites W1992948487 @default.
• W2034111423 cites W2032848199 @default.
• W2034111423 cites W2046213250 @default.
• W2034111423 cites W2063887524 @default.
• W2034111423 cites W2071662215 @default.
• W2034111423 cites W2080316200 @default.
• W2034111423 cites W2090847457 @default.
• W2034111423 cites W2092216144 @default.
• W2034111423 cites W2094017389 @default.
• W2034111423 cites W2101508170 @default.
• W2034111423 cites W2108886305 @default.
• W2034111423 cites W2120119918 @default.
• W2034111423 cites W2149480831 @default.
• W2034111423 cites W2156314014 @default.
• W2034111423 cites W2160001502 @default.
• W2034111423 cites W2162327103 @default.
• W2034111423 cites W2196692106 @default.
• W2034111423 cites W2322106565 @default.
• W2034111423 cites W2914011863 @default.
• W2034111423 cites W2914759716 @default.
• W2034111423 cites W4125734 @default.
• W2034111423 cites W4206107769 @default.
• W2034111423 cites W1989890063 @default.
• W2034111423 doi "https://doi.org/10.1007/s00236-014-0196-8" @default.
• W2034111423 hasPublicationYear "2014" @default.
• W2034111423 type Work @default.
• W2034111423 sameAs 2034111423 @default.
• W2034111423 citedByCount "14" @default.
• W2034111423 countsByYear W20341114232014 @default.
• W2034111423 countsByYear W20341114232015 @default.
• W2034111423 countsByYear W20341114232016 @default.
• W2034111423 countsByYear W20341114232017 @default.
• W2034111423 countsByYear W20341114232019 @default.
• W2034111423 countsByYear W20341114232020 @default.
• W2034111423 crossrefType "journal-article" @default.
• W2034111423 hasAuthorship W2034111423A5016501420 @default.
• W2034111423 hasAuthorship W2034111423A5030129842 @default.
• W2034111423 hasBestOaLocation W20341114232 @default.
• W2034111423 hasConcept C127413603 @default.
• W2034111423 hasConcept C185592680 @default.
• W2034111423 hasConcept C188027245 @default.
• W2034111423 hasConcept C41008148 @default.
• W2034111423 hasConcept C43617362 @default.
• W2034111423 hasConcept C539667460 @default.
• W2034111423 hasConcept C71139939 @default.
• W2034111423 hasConcept C80444323 @default.
• W2034111423 hasConcept C95986675 @default.
• W2034111423 hasConceptScore W2034111423C127413603 @default.
• W2034111423 hasConceptScore W2034111423C185592680 @default.
• W2034111423 hasConceptScore W2034111423C188027245 @default.
• W2034111423 hasConceptScore W2034111423C41008148 @default.
• W2034111423 hasConceptScore W2034111423C43617362 @default.
• W2034111423 hasConceptScore W2034111423C539667460 @default.
• W2034111423 hasConceptScore W2034111423C71139939 @default.
• W2034111423 hasConceptScore W2034111423C80444323 @default.
• W2034111423 hasConceptScore W2034111423C95986675 @default.
• W2034111423 hasIssue "5" @default.
• W2034111423 hasLocation W20341114231 @default.
• W2034111423 hasLocation W20341114232 @default.
• W2034111423 hasLocation W20341114233 @default.
• W2034111423 hasOpenAccess W2034111423 @default.
• W2034111423 hasPrimaryLocation W20341114231 @default.
• W2034111423 hasRelatedWork W1567856302 @default.
• W2034111423 hasRelatedWork W2350741829 @default.
• W2034111423 hasRelatedWork W2358668433 @default.
• W2034111423 hasRelatedWork W2376932109 @default.
• W2034111423 hasRelatedWork W2382290278 @default.
• W2034111423 hasRelatedWork W2390279801 @default.
• W2034111423 hasRelatedWork W2475586644 @default.
• W2034111423 hasRelatedWork W2748952813 @default.
• W2034111423 hasRelatedWork W2899084033 @default.
• W2034111423 hasRelatedWork W306222291 @default.
• W2034111423 hasVolume "51" @default.

• next