FRINK Linked Data Fragments server

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

• W4372259572 abstract "Distributed systems have become the backbone of cloud computing. Incorrect system designs and implementations can greatly impair the reliability of distributed systems. Although a distributed system design modelled in the formal specification can be verified by formal model checking, it is still challenging to figure out whether its corresponding implementation conforms to the verified specification. An incorrect system implementation can violate its verified specification, and causes intricate bugs." @default.
• W4372259572 created "2023-05-07" @default.
• W4372259572 creator A5001733016 @default.
• W4372259572 creator A5023724495 @default.
• W4372259572 creator A5085953258 @default.
• W4372259572 creator A5089431833 @default.
• W4372259572 creator A5090759435 @default.
• W4372259572 creator A5091015891 @default.
• W4372259572 date "2023-05-08" @default.
• W4372259572 modified "2023-09-26" @default.
• W4372259572 title "Model Checking Guided Testing for Distributed Systems" @default.
• W4372259572 cites W1973938051 @default.
• W4372259572 cites W2006307164 @default.
• W4372259572 cites W2050232116 @default.
• W4372259572 cites W2091776255 @default.
• W4372259572 cites W2109213558 @default.
• W4372259572 cites W2167814583 @default.
• W4372259572 cites W2169870841 @default.
• W4372259572 cites W2327265941 @default.
• W4372259572 cites W2604985896 @default.
• W4372259572 cites W2606939423 @default.
• W4372259572 cites W2792833030 @default.
• W4372259572 cites W2799144475 @default.
• W4372259572 cites W2804035958 @default.
• W4372259572 cites W2898333178 @default.
• W4372259572 cites W2899510293 @default.
• W4372259572 cites W2933853005 @default.
• W4372259572 cites W2934650114 @default.
• W4372259572 cites W2979636764 @default.
• W4372259572 cites W2981593401 @default.
• W4372259572 cites W2998839218 @default.
• W4372259572 cites W3011718251 @default.
• W4372259572 cites W3031474432 @default.
• W4372259572 cites W3121301634 @default.
• W4372259572 cites W3181222742 @default.
• W4372259572 cites W3205811065 @default.
• W4372259572 cites W4250390143 @default.
• W4372259572 cites W4287882631 @default.
• W4372259572 cites W4308391493 @default.
• W4372259572 cites W4318541571 @default.
• W4372259572 doi "https://doi.org/10.1145/3552326.3587442" @default.
• W4372259572 hasPublicationYear "2023" @default.
• W4372259572 type Work @default.
• W4372259572 citedByCount "0" @default.
• W4372259572 crossrefType "proceedings-article" @default.
• W4372259572 hasAuthorship W4372259572A5001733016 @default.
• W4372259572 hasAuthorship W4372259572A5023724495 @default.
• W4372259572 hasAuthorship W4372259572A5085953258 @default.
• W4372259572 hasAuthorship W4372259572A5089431833 @default.
• W4372259572 hasAuthorship W4372259572A5090759435 @default.
• W4372259572 hasAuthorship W4372259572A5091015891 @default.
• W4372259572 hasBestOaLocation W43722595721 @default.
• W4372259572 hasConcept C110251889 @default.
• W4372259572 hasConcept C111498074 @default.
• W4372259572 hasConcept C111919701 @default.
• W4372259572 hasConcept C115903868 @default.
• W4372259572 hasConcept C116253237 @default.
• W4372259572 hasConcept C120314980 @default.
• W4372259572 hasConcept C121332964 @default.
• W4372259572 hasConcept C127413603 @default.
• W4372259572 hasConcept C163258240 @default.
• W4372259572 hasConcept C199360897 @default.
• W4372259572 hasConcept C200601418 @default.
• W4372259572 hasConcept C26713055 @default.
• W4372259572 hasConcept C41008148 @default.
• W4372259572 hasConcept C43214815 @default.
• W4372259572 hasConcept C62520636 @default.
• W4372259572 hasConcept C75606506 @default.
• W4372259572 hasConcept C79974875 @default.
• W4372259572 hasConcept C84651959 @default.
• W4372259572 hasConceptScore W4372259572C110251889 @default.
• W4372259572 hasConceptScore W4372259572C111498074 @default.
• W4372259572 hasConceptScore W4372259572C111919701 @default.
• W4372259572 hasConceptScore W4372259572C115903868 @default.
• W4372259572 hasConceptScore W4372259572C116253237 @default.
• W4372259572 hasConceptScore W4372259572C120314980 @default.
• W4372259572 hasConceptScore W4372259572C121332964 @default.
• W4372259572 hasConceptScore W4372259572C127413603 @default.
• W4372259572 hasConceptScore W4372259572C163258240 @default.
• W4372259572 hasConceptScore W4372259572C199360897 @default.
• W4372259572 hasConceptScore W4372259572C200601418 @default.
• W4372259572 hasConceptScore W4372259572C26713055 @default.
• W4372259572 hasConceptScore W4372259572C41008148 @default.
• W4372259572 hasConceptScore W4372259572C43214815 @default.
• W4372259572 hasConceptScore W4372259572C62520636 @default.
• W4372259572 hasConceptScore W4372259572C75606506 @default.
• W4372259572 hasConceptScore W4372259572C79974875 @default.
• W4372259572 hasConceptScore W4372259572C84651959 @default.
• W4372259572 hasLocation W43722595721 @default.
• W4372259572 hasOpenAccess W4372259572 @default.
• W4372259572 hasPrimaryLocation W43722595721 @default.
• W4372259572 hasRelatedWork W1544097700 @default.
• W4372259572 hasRelatedWork W1922520186 @default.
• W4372259572 hasRelatedWork W1946493810 @default.
• W4372259572 hasRelatedWork W1964111820 @default.
• W4372259572 hasRelatedWork W1979593143 @default.
• W4372259572 hasRelatedWork W2114822090 @default.
• W4372259572 hasRelatedWork W2171674700 @default.
• W4372259572 hasRelatedWork W2984126931 @default.
• W4372259572 hasRelatedWork W4323339285 @default.

• next