Matches in SemOpenAlex for { <https://semopenalex.org/work/W2562074037> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2562074037 abstract "Preliminary versions of the papers of this spe- cial section originally appeared in the proceedings of the 6th edition of the conference Tools and Algorithms for the Construction and Analysis of Systems (Tacas )h eld in Berlin early April 2000 as a constituent event of the European joint conferences on Theory and Practice of Software. All papers present tools relevant in the context of systems validation. The first three focus on extensions or particular applications of model-checking techniques, whereas the fourth is about integration of design tools with validation tools, in particular theorem provers and model-checkers." @default.
- W2562074037 created "2017-01-06" @default.
- W2562074037 creator A5074935721 @default.
- W2562074037 date "2003-01-01" @default.
- W2562074037 modified "2023-09-27" @default.
- W2562074037 title "Special section on tools and algorithms for the construction and analysis of systems Preface by the section editor" @default.
- W2562074037 cites W106209860 @default.
- W2562074037 cites W1491850643 @default.
- W2562074037 cites W1504003510 @default.
- W2562074037 cites W1508451833 @default.
- W2562074037 cites W1577028575 @default.
- W2562074037 cites W1903955310 @default.
- W2562074037 cites W2024851598 @default.
- W2562074037 cites W2033018395 @default.
- W2562074037 cites W2041226400 @default.
- W2562074037 cites W2059140315 @default.
- W2562074037 cites W2096939726 @default.
- W2562074037 cites W2115309705 @default.
- W2562074037 cites W2117189826 @default.
- W2562074037 cites W2122510266 @default.
- W2562074037 cites W2422272475 @default.
- W2562074037 hasPublicationYear "2003" @default.
- W2562074037 type Work @default.
- W2562074037 sameAs 2562074037 @default.
- W2562074037 citedByCount "0" @default.
- W2562074037 crossrefType "journal-article" @default.
- W2562074037 hasAuthorship W2562074037A5074935721 @default.
- W2562074037 hasConcept C111919701 @default.
- W2562074037 hasConcept C11413529 @default.
- W2562074037 hasConcept C115903868 @default.
- W2562074037 hasConcept C120665830 @default.
- W2562074037 hasConcept C121332964 @default.
- W2562074037 hasConcept C127413603 @default.
- W2562074037 hasConcept C166957645 @default.
- W2562074037 hasConcept C192209626 @default.
- W2562074037 hasConcept C199360897 @default.
- W2562074037 hasConcept C2779343474 @default.
- W2562074037 hasConcept C2779662365 @default.
- W2562074037 hasConcept C2780129039 @default.
- W2562074037 hasConcept C2993458768 @default.
- W2562074037 hasConcept C41008148 @default.
- W2562074037 hasConcept C61696701 @default.
- W2562074037 hasConcept C62520636 @default.
- W2562074037 hasConcept C95457728 @default.
- W2562074037 hasConceptScore W2562074037C111919701 @default.
- W2562074037 hasConceptScore W2562074037C11413529 @default.
- W2562074037 hasConceptScore W2562074037C115903868 @default.
- W2562074037 hasConceptScore W2562074037C120665830 @default.
- W2562074037 hasConceptScore W2562074037C121332964 @default.
- W2562074037 hasConceptScore W2562074037C127413603 @default.
- W2562074037 hasConceptScore W2562074037C166957645 @default.
- W2562074037 hasConceptScore W2562074037C192209626 @default.
- W2562074037 hasConceptScore W2562074037C199360897 @default.
- W2562074037 hasConceptScore W2562074037C2779343474 @default.
- W2562074037 hasConceptScore W2562074037C2779662365 @default.
- W2562074037 hasConceptScore W2562074037C2780129039 @default.
- W2562074037 hasConceptScore W2562074037C2993458768 @default.
- W2562074037 hasConceptScore W2562074037C41008148 @default.
- W2562074037 hasConceptScore W2562074037C61696701 @default.
- W2562074037 hasConceptScore W2562074037C62520636 @default.
- W2562074037 hasConceptScore W2562074037C95457728 @default.
- W2562074037 hasLocation W25620740371 @default.
- W2562074037 hasOpenAccess W2562074037 @default.
- W2562074037 hasPrimaryLocation W25620740371 @default.
- W2562074037 hasRelatedWork W1759957501 @default.
- W2562074037 hasRelatedWork W1862292507 @default.
- W2562074037 hasRelatedWork W1996120823 @default.
- W2562074037 hasRelatedWork W2005471635 @default.
- W2562074037 hasRelatedWork W2031161218 @default.
- W2562074037 hasRelatedWork W2047467036 @default.
- W2562074037 hasRelatedWork W2069261917 @default.
- W2562074037 hasRelatedWork W2104229511 @default.
- W2562074037 hasRelatedWork W2193520217 @default.
- W2562074037 hasRelatedWork W2274044565 @default.
- W2562074037 hasRelatedWork W2328111745 @default.
- W2562074037 hasRelatedWork W2554253922 @default.
- W2562074037 hasRelatedWork W2743751627 @default.
- W2562074037 hasRelatedWork W2810006856 @default.
- W2562074037 hasRelatedWork W2999246702 @default.
- W2562074037 hasRelatedWork W3084368525 @default.
- W2562074037 hasRelatedWork W3149019529 @default.
- W2562074037 hasRelatedWork W3200442480 @default.
- W2562074037 hasRelatedWork W588984644 @default.
- W2562074037 hasRelatedWork W2092863228 @default.
- W2562074037 isParatext "false" @default.
- W2562074037 isRetracted "false" @default.
- W2562074037 magId "2562074037" @default.
- W2562074037 workType "article" @default.