FRINK Linked Data Fragments server

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

• W2132051278 endingPage "21" @default.
• W2132051278 startingPage "3" @default.
• W2132051278 abstract "This paper reports on the experiences with the program verification competition held during the FoVeOOS conference in October 2011. There were 6 teams participating in this competition. We discuss the three different challenges that were posed and the solutions developed by the teams. We conclude with a discussion about the value of such competitions and lessons learned from them." @default.
• W2132051278 created "2016-06-24" @default.
• W2132051278 creator A5003866910 @default.
• W2132051278 creator A5018918028 @default.
• W2132051278 creator A5020041058 @default.
• W2132051278 creator A5020732166 @default.
• W2132051278 creator A5027356527 @default.
• W2132051278 creator A5039009530 @default.
• W2132051278 creator A5040207663 @default.
• W2132051278 creator A5045181048 @default.
• W2132051278 creator A5049068584 @default.
• W2132051278 creator A5049880872 @default.
• W2132051278 creator A5049957994 @default.
• W2132051278 creator A5066793859 @default.
• W2132051278 creator A5080463753 @default.
• W2132051278 creator A5084552310 @default.
• W2132051278 creator A5087543664 @default.
• W2132051278 creator A5089089476 @default.
• W2132051278 creator A5090671359 @default.
• W2132051278 date "2012-01-01" @default.
• W2132051278 modified "2023-10-15" @default.
• W2132051278 title "The COST IC0701 Verification Competition 2011" @default.
• W2132051278 cites W1480909796 @default.
• W2132051278 cites W1505286461 @default.
• W2132051278 cites W1528438529 @default.
• W2132051278 cites W1532097571 @default.
• W2132051278 cites W1553421328 @default.
• W2132051278 cites W1570343895 @default.
• W2132051278 cites W1606177908 @default.
• W2132051278 cites W1624683186 @default.
• W2132051278 cites W2053154567 @default.
• W2132051278 cites W2119929369 @default.
• W2132051278 cites W2130427425 @default.
• W2132051278 cites W91193428 @default.
• W2132051278 doi "https://doi.org/10.1007/978-3-642-31762-0_2" @default.
• W2132051278 hasPublicationYear "2012" @default.
• W2132051278 type Work @default.
• W2132051278 sameAs 2132051278 @default.
• W2132051278 citedByCount "23" @default.
• W2132051278 countsByYear W21320512782012 @default.
• W2132051278 countsByYear W21320512782013 @default.
• W2132051278 countsByYear W21320512782014 @default.
• W2132051278 countsByYear W21320512782015 @default.
• W2132051278 countsByYear W21320512782016 @default.
• W2132051278 countsByYear W21320512782017 @default.
• W2132051278 countsByYear W21320512782019 @default.
• W2132051278 countsByYear W21320512782020 @default.
• W2132051278 countsByYear W21320512782021 @default.
• W2132051278 countsByYear W21320512782022 @default.
• W2132051278 countsByYear W21320512782023 @default.
• W2132051278 crossrefType "book-chapter" @default.
• W2132051278 hasAuthorship W2132051278A5003866910 @default.
• W2132051278 hasAuthorship W2132051278A5018918028 @default.
• W2132051278 hasAuthorship W2132051278A5020041058 @default.
• W2132051278 hasAuthorship W2132051278A5020732166 @default.
• W2132051278 hasAuthorship W2132051278A5027356527 @default.
• W2132051278 hasAuthorship W2132051278A5039009530 @default.
• W2132051278 hasAuthorship W2132051278A5040207663 @default.
• W2132051278 hasAuthorship W2132051278A5045181048 @default.
• W2132051278 hasAuthorship W2132051278A5049068584 @default.
• W2132051278 hasAuthorship W2132051278A5049880872 @default.
• W2132051278 hasAuthorship W2132051278A5049957994 @default.
• W2132051278 hasAuthorship W2132051278A5066793859 @default.
• W2132051278 hasAuthorship W2132051278A5080463753 @default.
• W2132051278 hasAuthorship W2132051278A5084552310 @default.
• W2132051278 hasAuthorship W2132051278A5087543664 @default.
• W2132051278 hasAuthorship W2132051278A5089089476 @default.
• W2132051278 hasAuthorship W2132051278A5090671359 @default.
• W2132051278 hasBestOaLocation W21320512782 @default.
• W2132051278 hasConcept C115903868 @default.
• W2132051278 hasConcept C119857082 @default.
• W2132051278 hasConcept C127413603 @default.
• W2132051278 hasConcept C18903297 @default.
• W2132051278 hasConcept C2776291640 @default.
• W2132051278 hasConcept C41008148 @default.
• W2132051278 hasConcept C42475967 @default.
• W2132051278 hasConcept C86803240 @default.
• W2132051278 hasConcept C91306197 @default.
• W2132051278 hasConceptScore W2132051278C115903868 @default.
• W2132051278 hasConceptScore W2132051278C119857082 @default.
• W2132051278 hasConceptScore W2132051278C127413603 @default.
• W2132051278 hasConceptScore W2132051278C18903297 @default.
• W2132051278 hasConceptScore W2132051278C2776291640 @default.
• W2132051278 hasConceptScore W2132051278C41008148 @default.
• W2132051278 hasConceptScore W2132051278C42475967 @default.
• W2132051278 hasConceptScore W2132051278C86803240 @default.
• W2132051278 hasConceptScore W2132051278C91306197 @default.
• W2132051278 hasLocation W21320512781 @default.
• W2132051278 hasLocation W21320512782 @default.
• W2132051278 hasLocation W21320512783 @default.
• W2132051278 hasLocation W21320512784 @default.
• W2132051278 hasLocation W21320512785 @default.
• W2132051278 hasLocation W21320512786 @default.
• W2132051278 hasLocation W21320512787 @default.
• W2132051278 hasLocation W21320512788 @default.
• W2132051278 hasOpenAccess W2132051278 @default.
• W2132051278 hasPrimaryLocation W21320512781 @default.
• W2132051278 hasRelatedWork W1596801655 @default.

• next