FRINK Linked Data Fragments server

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

• W1831193497 abstract "An automatic verification method from a high level resource management standpoint is presented. Various manipulators can be incorporated in the method to construct, refine, reduce, and model-check state space representation. Proper combinations of manipulators can then be picked strategically by users or computers for less resource (time and space) consumption. An algorithm based on group theory to pick a manipulator combination is presented. Verification sessions are conducted to illustrate our idea." @default.
• W1831193497 created "2016-06-24" @default.
• W1831193497 creator A5050423310 @default.
• W1831193497 creator A5063346775 @default.
• W1831193497 date "2002-11-27" @default.
• W1831193497 modified "2023-09-23" @default.
• W1831193497 title "Automatic verification on the large" @default.
• W1831193497 cites W1501731334 @default.
• W1831193497 cites W1528441743 @default.
• W1831193497 cites W1547793878 @default.
• W1831193497 cites W1552249698 @default.
• W1831193497 cites W1560730347 @default.
• W1831193497 cites W1574289075 @default.
• W1831193497 cites W1577437452 @default.
• W1831193497 cites W1598342504 @default.
• W1831193497 cites W1674675511 @default.
• W1831193497 cites W2016079448 @default.
• W1831193497 cites W2055558998 @default.
• W1831193497 cites W2061438988 @default.
• W1831193497 cites W2080267935 @default.
• W1831193497 cites W2098228838 @default.
• W1831193497 cites W2102380292 @default.
• W1831193497 cites W2117189826 @default.
• W1831193497 cites W2118802216 @default.
• W1831193497 cites W2123410838 @default.
• W1831193497 cites W2153439859 @default.
• W1831193497 cites W2156289446 @default.
• W1831193497 cites W2167668895 @default.
• W1831193497 cites W3081549394 @default.
• W1831193497 doi "https://doi.org/10.1109/hase.1998.731605" @default.
• W1831193497 hasPublicationYear "2002" @default.
• W1831193497 type Work @default.
• W1831193497 sameAs 1831193497 @default.
• W1831193497 citedByCount "14" @default.
• W1831193497 crossrefType "proceedings-article" @default.
• W1831193497 hasAuthorship W1831193497A5050423310 @default.
• W1831193497 hasAuthorship W1831193497A5063346775 @default.
• W1831193497 hasConcept C105795698 @default.
• W1831193497 hasConcept C110251889 @default.
• W1831193497 hasConcept C111498074 @default.
• W1831193497 hasConcept C111919701 @default.
• W1831193497 hasConcept C11413529 @default.
• W1831193497 hasConcept C120314980 @default.
• W1831193497 hasConcept C154945302 @default.
• W1831193497 hasConcept C17744445 @default.
• W1831193497 hasConcept C18903297 @default.
• W1831193497 hasConcept C199360897 @default.
• W1831193497 hasConcept C199539241 @default.
• W1831193497 hasConcept C206345919 @default.
• W1831193497 hasConcept C2776359362 @default.
• W1831193497 hasConcept C2777480716 @default.
• W1831193497 hasConcept C2778572836 @default.
• W1831193497 hasConcept C2780801425 @default.
• W1831193497 hasConcept C31258907 @default.
• W1831193497 hasConcept C33923547 @default.
• W1831193497 hasConcept C41008148 @default.
• W1831193497 hasConcept C48103436 @default.
• W1831193497 hasConcept C72434380 @default.
• W1831193497 hasConcept C80444323 @default.
• W1831193497 hasConcept C86803240 @default.
• W1831193497 hasConcept C94625758 @default.
• W1831193497 hasConceptScore W1831193497C105795698 @default.
• W1831193497 hasConceptScore W1831193497C110251889 @default.
• W1831193497 hasConceptScore W1831193497C111498074 @default.
• W1831193497 hasConceptScore W1831193497C111919701 @default.
• W1831193497 hasConceptScore W1831193497C11413529 @default.
• W1831193497 hasConceptScore W1831193497C120314980 @default.
• W1831193497 hasConceptScore W1831193497C154945302 @default.
• W1831193497 hasConceptScore W1831193497C17744445 @default.
• W1831193497 hasConceptScore W1831193497C18903297 @default.
• W1831193497 hasConceptScore W1831193497C199360897 @default.
• W1831193497 hasConceptScore W1831193497C199539241 @default.
• W1831193497 hasConceptScore W1831193497C206345919 @default.
• W1831193497 hasConceptScore W1831193497C2776359362 @default.
• W1831193497 hasConceptScore W1831193497C2777480716 @default.
• W1831193497 hasConceptScore W1831193497C2778572836 @default.
• W1831193497 hasConceptScore W1831193497C2780801425 @default.
• W1831193497 hasConceptScore W1831193497C31258907 @default.
• W1831193497 hasConceptScore W1831193497C33923547 @default.
• W1831193497 hasConceptScore W1831193497C41008148 @default.
• W1831193497 hasConceptScore W1831193497C48103436 @default.
• W1831193497 hasConceptScore W1831193497C72434380 @default.
• W1831193497 hasConceptScore W1831193497C80444323 @default.
• W1831193497 hasConceptScore W1831193497C86803240 @default.
• W1831193497 hasConceptScore W1831193497C94625758 @default.
• W1831193497 hasLocation W18311934971 @default.
• W1831193497 hasOpenAccess W1831193497 @default.
• W1831193497 hasPrimaryLocation W18311934971 @default.
• W1831193497 hasRelatedWork W1482233117 @default.
• W1831193497 hasRelatedWork W1513488673 @default.
• W1831193497 hasRelatedWork W1535937574 @default.
• W1831193497 hasRelatedWork W1788160972 @default.
• W1831193497 hasRelatedWork W1874725288 @default.
• W1831193497 hasRelatedWork W1874996599 @default.
• W1831193497 hasRelatedWork W2008379855 @default.
• W1831193497 hasRelatedWork W2023499821 @default.
• W1831193497 hasRelatedWork W2055558998 @default.
• W1831193497 hasRelatedWork W2061438988 @default.
• W1831193497 hasRelatedWork W2080267935 @default.
• W1831193497 hasRelatedWork W2101508170 @default.

• next