Matches in SemOpenAlex for { <https://semopenalex.org/work/W581714724> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W581714724 abstract "A major current challenge consists in extending formal methods in order to handle infinite-state systems. Infiniteness stems from the fact that the system operates on unbounded data structure such ..." @default.
- W581714724 created "2016-06-24" @default.
- W581714724 creator A5061774156 @default.
- W581714724 date "2008-01-01" @default.
- W581714724 modified "2023-09-27" @default.
- W581714724 title "Infinite-state Stochastic and Parameterized Systems" @default.
- W581714724 hasPublicationYear "2008" @default.
- W581714724 type Work @default.
- W581714724 sameAs 581714724 @default.
- W581714724 citedByCount "0" @default.
- W581714724 crossrefType "journal-article" @default.
- W581714724 hasAuthorship W581714724A5061774156 @default.
- W581714724 hasConcept C11413529 @default.
- W581714724 hasConcept C119599485 @default.
- W581714724 hasConcept C127413603 @default.
- W581714724 hasConcept C148043351 @default.
- W581714724 hasConcept C165464430 @default.
- W581714724 hasConcept C33923547 @default.
- W581714724 hasConcept C41008148 @default.
- W581714724 hasConcept C48103436 @default.
- W581714724 hasConceptScore W581714724C11413529 @default.
- W581714724 hasConceptScore W581714724C119599485 @default.
- W581714724 hasConceptScore W581714724C127413603 @default.
- W581714724 hasConceptScore W581714724C148043351 @default.
- W581714724 hasConceptScore W581714724C165464430 @default.
- W581714724 hasConceptScore W581714724C33923547 @default.
- W581714724 hasConceptScore W581714724C41008148 @default.
- W581714724 hasConceptScore W581714724C48103436 @default.
- W581714724 hasLocation W5817147241 @default.
- W581714724 hasOpenAccess W581714724 @default.
- W581714724 hasPrimaryLocation W5817147241 @default.
- W581714724 hasRelatedWork W1591563876 @default.
- W581714724 hasRelatedWork W1948103674 @default.
- W581714724 hasRelatedWork W2015978043 @default.
- W581714724 hasRelatedWork W2017676950 @default.
- W581714724 hasRelatedWork W2018087463 @default.
- W581714724 hasRelatedWork W2053807562 @default.
- W581714724 hasRelatedWork W2067733097 @default.
- W581714724 hasRelatedWork W2122253589 @default.
- W581714724 hasRelatedWork W2150907142 @default.
- W581714724 hasRelatedWork W2188550283 @default.
- W581714724 hasRelatedWork W2205591433 @default.
- W581714724 hasRelatedWork W2607115544 @default.
- W581714724 hasRelatedWork W3012143895 @default.
- W581714724 hasRelatedWork W3047472342 @default.
- W581714724 hasRelatedWork W3093925582 @default.
- W581714724 hasRelatedWork W3107034996 @default.
- W581714724 hasRelatedWork W3203440446 @default.
- W581714724 hasRelatedWork W49934294 @default.
- W581714724 hasRelatedWork W98211343 @default.
- W581714724 hasRelatedWork W1575108837 @default.
- W581714724 isParatext "false" @default.
- W581714724 isRetracted "false" @default.
- W581714724 magId "581714724" @default.
- W581714724 workType "article" @default.