FRINK Linked Data Fragments server

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

• W1985859852 endingPage "196" @default.
• W1985859852 startingPage "169" @default.
• W1985859852 abstract "This article presents the results of the Model Checking Contest held within the SUMo 2011 workshop, a satellite event of Petri Nets 2011. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. The participating tools were compared on several examinations (state space generation, deadlock detection and evaluation of reachability formulæ) run on a set of common models (Place/Transition and Symmetric Petri nets). The collected data gave some hints about the way techniques can scale up depending on both examinations and the characteristics of the models. This paper also presents the lessons learned from the organizer’s point of view. It discusses the enhancements required for future editions of the Model Checking Contest event at the Petri Nets conference." @default.
• W1985859852 created "2016-06-24" @default.
• W1985859852 creator A5010443860 @default.
• W1985859852 creator A5013795728 @default.
• W1985859852 creator A5023649581 @default.
• W1985859852 creator A5026195787 @default.
• W1985859852 creator A5027335577 @default.
• W1985859852 creator A5031557175 @default.
• W1985859852 creator A5033313993 @default.
• W1985859852 creator A5033326068 @default.
• W1985859852 creator A5039526664 @default.
• W1985859852 creator A5088936423 @default.
• W1985859852 date "2012-01-01" @default.
• W1985859852 modified "2023-09-30" @default.
• W1985859852 title "Report on the Model Checking Contest at Petri Nets 2011" @default.
• W1985859852 cites W142494804 @default.
• W1985859852 cites W1482005816 @default.
• W1985859852 cites W1486382412 @default.
• W1985859852 cites W1496952972 @default.
• W1985859852 cites W1521283428 @default.
• W1985859852 cites W1521377075 @default.
• W1985859852 cites W1521601620 @default.
• W1985859852 cites W1531262057 @default.
• W1985859852 cites W1564354068 @default.
• W1985859852 cites W1572590947 @default.
• W1985859852 cites W1585524005 @default.
• W1985859852 cites W1586947210 @default.
• W1985859852 cites W1718783241 @default.
• W1985859852 cites W1788026644 @default.
• W1985859852 cites W1804409858 @default.
• W1985859852 cites W180991823 @default.
• W1985859852 cites W1823120935 @default.
• W1985859852 cites W1950029902 @default.
• W1985859852 cites W1975335740 @default.
• W1985859852 cites W2036267700 @default.
• W1985859852 cites W2047151442 @default.
• W1985859852 cites W2070869652 @default.
• W1985859852 cites W2076703513 @default.
• W1985859852 cites W2092978488 @default.
• W1985859852 cites W2111132249 @default.
• W1985859852 cites W2114362103 @default.
• W1985859852 cites W2119929369 @default.
• W1985859852 cites W2148895036 @default.
• W1985859852 cites W2158395308 @default.
• W1985859852 cites W2179661259 @default.
• W1985859852 cites W2681991495 @default.
• W1985859852 cites W4252625489 @default.
• W1985859852 doi "https://doi.org/10.1007/978-3-642-35179-2_8" @default.
• W1985859852 hasPublicationYear "2012" @default.
• W1985859852 type Work @default.
• W1985859852 sameAs 1985859852 @default.
• W1985859852 citedByCount "30" @default.
• W1985859852 countsByYear W19858598522012 @default.
• W1985859852 countsByYear W19858598522013 @default.
• W1985859852 countsByYear W19858598522014 @default.
• W1985859852 countsByYear W19858598522015 @default.
• W1985859852 countsByYear W19858598522016 @default.
• W1985859852 countsByYear W19858598522017 @default.
• W1985859852 countsByYear W19858598522018 @default.
• W1985859852 countsByYear W19858598522019 @default.
• W1985859852 countsByYear W19858598522021 @default.
• W1985859852 crossrefType "book-chapter" @default.
• W1985859852 hasAuthorship W1985859852A5010443860 @default.
• W1985859852 hasAuthorship W1985859852A5013795728 @default.
• W1985859852 hasAuthorship W1985859852A5023649581 @default.
• W1985859852 hasAuthorship W1985859852A5026195787 @default.
• W1985859852 hasAuthorship W1985859852A5027335577 @default.
• W1985859852 hasAuthorship W1985859852A5031557175 @default.
• W1985859852 hasAuthorship W1985859852A5033313993 @default.
• W1985859852 hasAuthorship W1985859852A5033326068 @default.
• W1985859852 hasAuthorship W1985859852A5039526664 @default.
• W1985859852 hasAuthorship W1985859852A5088936423 @default.
• W1985859852 hasBestOaLocation W19858598523 @default.
• W1985859852 hasConcept C110251889 @default.
• W1985859852 hasConcept C120314980 @default.
• W1985859852 hasConcept C121332964 @default.
• W1985859852 hasConcept C136155141 @default.
• W1985859852 hasConcept C136643341 @default.
• W1985859852 hasConcept C159023740 @default.
• W1985859852 hasConcept C177264268 @default.
• W1985859852 hasConcept C17744445 @default.
• W1985859852 hasConcept C197551870 @default.
• W1985859852 hasConcept C199360897 @default.
• W1985859852 hasConcept C199539241 @default.
• W1985859852 hasConcept C2777582232 @default.
• W1985859852 hasConcept C2779662365 @default.
• W1985859852 hasConcept C38677869 @default.
• W1985859852 hasConcept C41008148 @default.
• W1985859852 hasConcept C62520636 @default.
• W1985859852 hasConcept C80444323 @default.
• W1985859852 hasConceptScore W1985859852C110251889 @default.
• W1985859852 hasConceptScore W1985859852C120314980 @default.
• W1985859852 hasConceptScore W1985859852C121332964 @default.
• W1985859852 hasConceptScore W1985859852C136155141 @default.
• W1985859852 hasConceptScore W1985859852C136643341 @default.
• W1985859852 hasConceptScore W1985859852C159023740 @default.
• W1985859852 hasConceptScore W1985859852C177264268 @default.
• W1985859852 hasConceptScore W1985859852C17744445 @default.

• next