Matches in SemOpenAlex for { <https://semopenalex.org/work/W2600189819> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2600189819 endingPage "36" @default.
- W2600189819 startingPage "33" @default.
- W2600189819 abstract "Today’s business climate requires business processes to meet many compliance regulations, such as Sarbanes-Oxley (SOX) and to adhere to business partner contracts. In this paper, we report a comparative analysis between Linear Temporal Logic and Formal Contract logical languages, which have been successfully utilized in the literature as the formal basis of compliance requirements to enable their automatic verification." @default.
- W2600189819 created "2017-04-07" @default.
- W2600189819 creator A5000742134 @default.
- W2600189819 creator A5052263267 @default.
- W2600189819 creator A5080693461 @default.
- W2600189819 creator A5087437249 @default.
- W2600189819 date "2010-01-01" @default.
- W2600189819 modified "2023-09-24" @default.
- W2600189819 title "On the formal specification of business contracts and regulatory compliance" @default.
- W2600189819 cites W130792355 @default.
- W2600189819 cites W1489227129 @default.
- W2600189819 cites W1556540894 @default.
- W2600189819 cites W1963594138 @default.
- W2600189819 cites W2023808162 @default.
- W2600189819 cites W2027158876 @default.
- W2600189819 cites W2031597043 @default.
- W2600189819 hasPublicationYear "2010" @default.
- W2600189819 type Work @default.
- W2600189819 sameAs 2600189819 @default.
- W2600189819 citedByCount "2" @default.
- W2600189819 countsByYear W26001898192013 @default.
- W2600189819 crossrefType "posted-content" @default.
- W2600189819 hasAuthorship W2600189819A5000742134 @default.
- W2600189819 hasAuthorship W2600189819A5052263267 @default.
- W2600189819 hasAuthorship W2600189819A5080693461 @default.
- W2600189819 hasAuthorship W2600189819A5087437249 @default.
- W2600189819 hasConcept C11066294 @default.
- W2600189819 hasConcept C121955636 @default.
- W2600189819 hasConcept C144133560 @default.
- W2600189819 hasConcept C15744967 @default.
- W2600189819 hasConcept C162853370 @default.
- W2600189819 hasConcept C174998907 @default.
- W2600189819 hasConcept C195094911 @default.
- W2600189819 hasConcept C199360897 @default.
- W2600189819 hasConcept C2781460075 @default.
- W2600189819 hasConcept C41008148 @default.
- W2600189819 hasConcept C4777664 @default.
- W2600189819 hasConcept C77805123 @default.
- W2600189819 hasConcept C85345410 @default.
- W2600189819 hasConceptScore W2600189819C11066294 @default.
- W2600189819 hasConceptScore W2600189819C121955636 @default.
- W2600189819 hasConceptScore W2600189819C144133560 @default.
- W2600189819 hasConceptScore W2600189819C15744967 @default.
- W2600189819 hasConceptScore W2600189819C162853370 @default.
- W2600189819 hasConceptScore W2600189819C174998907 @default.
- W2600189819 hasConceptScore W2600189819C195094911 @default.
- W2600189819 hasConceptScore W2600189819C199360897 @default.
- W2600189819 hasConceptScore W2600189819C2781460075 @default.
- W2600189819 hasConceptScore W2600189819C41008148 @default.
- W2600189819 hasConceptScore W2600189819C4777664 @default.
- W2600189819 hasConceptScore W2600189819C77805123 @default.
- W2600189819 hasConceptScore W2600189819C85345410 @default.
- W2600189819 hasLocation W26001898191 @default.
- W2600189819 hasOpenAccess W2600189819 @default.
- W2600189819 hasPrimaryLocation W26001898191 @default.
- W2600189819 hasRelatedWork W125436324 @default.
- W2600189819 hasRelatedWork W1522627066 @default.
- W2600189819 hasRelatedWork W1584406589 @default.
- W2600189819 hasRelatedWork W1603508393 @default.
- W2600189819 hasRelatedWork W1894776615 @default.
- W2600189819 hasRelatedWork W1963594138 @default.
- W2600189819 hasRelatedWork W1996220455 @default.
- W2600189819 hasRelatedWork W2066394193 @default.
- W2600189819 hasRelatedWork W2122372361 @default.
- W2600189819 hasRelatedWork W2140915630 @default.
- W2600189819 hasRelatedWork W2176935515 @default.
- W2600189819 hasRelatedWork W2295330331 @default.
- W2600189819 hasRelatedWork W243038725 @default.
- W2600189819 hasRelatedWork W2897430198 @default.
- W2600189819 hasRelatedWork W3040098638 @default.
- W2600189819 hasRelatedWork W3095899133 @default.
- W2600189819 hasRelatedWork W3123237127 @default.
- W2600189819 hasRelatedWork W3151757949 @default.
- W2600189819 hasRelatedWork W2103722047 @default.
- W2600189819 hasRelatedWork W35297106 @default.
- W2600189819 isParatext "false" @default.
- W2600189819 isRetracted "false" @default.
- W2600189819 magId "2600189819" @default.
- W2600189819 workType "article" @default.