FRINK Linked Data Fragments server

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

• W1489544963 abstract "Model checking was introduced in the early 1980's to provide a practical automated method for verifying concurrent systems. Model checking has had substantive impact on program verification. For the first time industrial strength systems are being verified on a routine basis. As time has progressed, the term model checking has acquired slightly different shades of meaning. In this paper we these consider variant aspects of model checking, elucidating some often overlooked and subtle distinctions." @default.
• W1489544963 created "2016-06-24" @default.
• W1489544963 creator A5022535511 @default.
• W1489544963 date "2010-01-01" @default.
• W1489544963 modified "2023-09-25" @default.
• W1489544963 title "Meanings of Model Checking" @default.
• W1489544963 cites W138086306 @default.
• W1489544963 cites W1482870073 @default.
• W1489544963 cites W1489227129 @default.
• W1489544963 cites W1489487975 @default.
• W1489544963 cites W1529693658 @default.
• W1489544963 cites W1529746197 @default.
• W1489544963 cites W1537777555 @default.
• W1489544963 cites W1547562281 @default.
• W1489544963 cites W1553574558 @default.
• W1489544963 cites W1561867409 @default.
• W1489544963 cites W1590315663 @default.
• W1489544963 cites W1590336223 @default.
• W1489544963 cites W1593428110 @default.
• W1489544963 cites W1783413852 @default.
• W1489544963 cites W1787074469 @default.
• W1489544963 cites W1797192225 @default.
• W1489544963 cites W1975657455 @default.
• W1489544963 cites W1994143452 @default.
• W1489544963 cites W2002128397 @default.
• W1489544963 cites W2004306067 @default.
• W1489544963 cites W2005998857 @default.
• W1489544963 cites W2011778465 @default.
• W1489544963 cites W2015640848 @default.
• W1489544963 cites W2023808162 @default.
• W1489544963 cites W2030926579 @default.
• W1489544963 cites W2046213250 @default.
• W1489544963 cites W2055558998 @default.
• W1489544963 cites W2069485995 @default.
• W1489544963 cites W2080267935 @default.
• W1489544963 cites W2084910510 @default.
• W1489544963 cites W2090398333 @default.
• W1489544963 cites W2094874241 @default.
• W1489544963 cites W2099120582 @default.
• W1489544963 cites W2099251677 @default.
• W1489544963 cites W2116277209 @default.
• W1489544963 cites W2117189826 @default.
• W1489544963 cites W2134562903 @default.
• W1489544963 cites W2139473437 @default.
• W1489544963 cites W2150309803 @default.
• W1489544963 cites W2180713429 @default.
• W1489544963 cites W2987907651 @default.
• W1489544963 cites W4239399053 @default.
• W1489544963 cites W4244848635 @default.
• W1489544963 cites W4249610466 @default.
• W1489544963 cites W4251912342 @default.
• W1489544963 doi "https://doi.org/10.1007/978-3-642-11512-7_15" @default.
• W1489544963 hasPublicationYear "2010" @default.
• W1489544963 type Work @default.
• W1489544963 sameAs 1489544963 @default.
• W1489544963 citedByCount "0" @default.
• W1489544963 crossrefType "book-chapter" @default.
• W1489544963 hasAuthorship W1489544963A5022535511 @default.
• W1489544963 hasConcept C110251889 @default.
• W1489544963 hasConcept C111472728 @default.
• W1489544963 hasConcept C121332964 @default.
• W1489544963 hasConcept C12426560 @default.
• W1489544963 hasConcept C138885662 @default.
• W1489544963 hasConcept C199360897 @default.
• W1489544963 hasConcept C25016198 @default.
• W1489544963 hasConcept C2524010 @default.
• W1489544963 hasConcept C2780876879 @default.
• W1489544963 hasConcept C33923547 @default.
• W1489544963 hasConcept C41008148 @default.
• W1489544963 hasConcept C61797465 @default.
• W1489544963 hasConcept C62520636 @default.
• W1489544963 hasConcept C80444323 @default.
• W1489544963 hasConceptScore W1489544963C110251889 @default.
• W1489544963 hasConceptScore W1489544963C111472728 @default.
• W1489544963 hasConceptScore W1489544963C121332964 @default.
• W1489544963 hasConceptScore W1489544963C12426560 @default.
• W1489544963 hasConceptScore W1489544963C138885662 @default.
• W1489544963 hasConceptScore W1489544963C199360897 @default.
• W1489544963 hasConceptScore W1489544963C25016198 @default.
• W1489544963 hasConceptScore W1489544963C2524010 @default.
• W1489544963 hasConceptScore W1489544963C2780876879 @default.
• W1489544963 hasConceptScore W1489544963C33923547 @default.
• W1489544963 hasConceptScore W1489544963C41008148 @default.
• W1489544963 hasConceptScore W1489544963C61797465 @default.
• W1489544963 hasConceptScore W1489544963C62520636 @default.
• W1489544963 hasConceptScore W1489544963C80444323 @default.
• W1489544963 hasLocation W14895449631 @default.
• W1489544963 hasOpenAccess W1489544963 @default.
• W1489544963 hasPrimaryLocation W14895449631 @default.
• W1489544963 hasRelatedWork W159786747 @default.
• W1489544963 hasRelatedWork W1610445930 @default.
• W1489544963 hasRelatedWork W2058609553 @default.
• W1489544963 hasRelatedWork W2068726498 @default.
• W1489544963 hasRelatedWork W2114689332 @default.
• W1489544963 hasRelatedWork W2234147556 @default.
• W1489544963 hasRelatedWork W2234667902 @default.
• W1489544963 hasRelatedWork W228371504 @default.
• W1489544963 hasRelatedWork W2775532735 @default.
• W1489544963 hasRelatedWork W2788283549 @default.
• W1489544963 hasRelatedWork W2802988447 @default.

• next