Matches in SemOpenAlex for { <https://semopenalex.org/work/W2901878185> ?p ?o ?g. }
- W2901878185 endingPage "209" @default.
- W2901878185 startingPage "181" @default.
- W2901878185 abstract "Created in 2011, the Model Checking Contest (MCC) is an annual competition dedicated to provide a fair evaluation of software tools that verify concurrent systems using state-space exploration techniques and model checking. This article presents the principles and results of the 2017 edition of the MCC, which took place along with the Petri Net and ACSD joint conferences in Zaragoza, Spain." @default.
- W2901878185 created "2018-11-29" @default.
- W2901878185 creator A5002392135 @default.
- W2901878185 creator A5005330030 @default.
- W2901878185 creator A5006544908 @default.
- W2901878185 creator A5009728620 @default.
- W2901878185 creator A5012697499 @default.
- W2901878185 creator A5020598827 @default.
- W2901878185 creator A5022400989 @default.
- W2901878185 creator A5028307375 @default.
- W2901878185 creator A5033313993 @default.
- W2901878185 creator A5039526664 @default.
- W2901878185 creator A5052045186 @default.
- W2901878185 creator A5053551176 @default.
- W2901878185 creator A5077535441 @default.
- W2901878185 creator A5081511497 @default.
- W2901878185 creator A5083995312 @default.
- W2901878185 creator A5087459870 @default.
- W2901878185 creator A5088936423 @default.
- W2901878185 creator A5091765222 @default.
- W2901878185 date "2018-01-01" @default.
- W2901878185 modified "2023-10-18" @default.
- W2901878185 title "MCC’2017 – The Seventh Model Checking Contest" @default.
- W2901878185 cites W1533938257 @default.
- W2901878185 cites W1572590947 @default.
- W2901878185 cites W160689082 @default.
- W2901878185 cites W1760795249 @default.
- W2901878185 cites W1864649459 @default.
- W2901878185 cites W1974910756 @default.
- W2901878185 cites W1985859852 @default.
- W2901878185 cites W1997221584 @default.
- W2901878185 cites W2070638102 @default.
- W2901878185 cites W2070996046 @default.
- W2901878185 cites W2075854425 @default.
- W2901878185 cites W2103217448 @default.
- W2901878185 cites W2111575167 @default.
- W2901878185 cites W2179661259 @default.
- W2901878185 cites W2180231313 @default.
- W2901878185 cites W2195169990 @default.
- W2901878185 cites W2227958109 @default.
- W2901878185 cites W2324601427 @default.
- W2901878185 cites W2484209472 @default.
- W2901878185 cites W2509328669 @default.
- W2901878185 cites W2512771309 @default.
- W2901878185 cites W2512806456 @default.
- W2901878185 cites W2521312856 @default.
- W2901878185 cites W2522043470 @default.
- W2901878185 cites W2540977847 @default.
- W2901878185 cites W2601160250 @default.
- W2901878185 cites W2739010619 @default.
- W2901878185 cites W2755297013 @default.
- W2901878185 cites W2757315224 @default.
- W2901878185 cites W2757839910 @default.
- W2901878185 cites W2763862465 @default.
- W2901878185 cites W2810491896 @default.
- W2901878185 cites W2900639984 @default.
- W2901878185 cites W4211008702 @default.
- W2901878185 cites W46678526 @default.
- W2901878185 cites W47391610 @default.
- W2901878185 cites W79217171 @default.
- W2901878185 doi "https://doi.org/10.1007/978-3-662-58381-4_9" @default.
- W2901878185 hasPublicationYear "2018" @default.
- W2901878185 type Work @default.
- W2901878185 sameAs 2901878185 @default.
- W2901878185 citedByCount "16" @default.
- W2901878185 countsByYear W29018781852018 @default.
- W2901878185 countsByYear W29018781852019 @default.
- W2901878185 countsByYear W29018781852020 @default.
- W2901878185 countsByYear W29018781852021 @default.
- W2901878185 countsByYear W29018781852022 @default.
- W2901878185 countsByYear W29018781852023 @default.
- W2901878185 crossrefType "book-chapter" @default.
- W2901878185 hasAuthorship W2901878185A5002392135 @default.
- W2901878185 hasAuthorship W2901878185A5005330030 @default.
- W2901878185 hasAuthorship W2901878185A5006544908 @default.
- W2901878185 hasAuthorship W2901878185A5009728620 @default.
- W2901878185 hasAuthorship W2901878185A5012697499 @default.
- W2901878185 hasAuthorship W2901878185A5020598827 @default.
- W2901878185 hasAuthorship W2901878185A5022400989 @default.
- W2901878185 hasAuthorship W2901878185A5028307375 @default.
- W2901878185 hasAuthorship W2901878185A5033313993 @default.
- W2901878185 hasAuthorship W2901878185A5039526664 @default.
- W2901878185 hasAuthorship W2901878185A5052045186 @default.
- W2901878185 hasAuthorship W2901878185A5053551176 @default.
- W2901878185 hasAuthorship W2901878185A5077535441 @default.
- W2901878185 hasAuthorship W2901878185A5081511497 @default.
- W2901878185 hasAuthorship W2901878185A5083995312 @default.
- W2901878185 hasAuthorship W2901878185A5087459870 @default.
- W2901878185 hasAuthorship W2901878185A5088936423 @default.
- W2901878185 hasAuthorship W2901878185A5091765222 @default.
- W2901878185 hasBestOaLocation W29018781852 @default.
- W2901878185 hasConcept C105795698 @default.
- W2901878185 hasConcept C110251889 @default.
- W2901878185 hasConcept C115903868 @default.
- W2901878185 hasConcept C17744445 @default.
- W2901878185 hasConcept C199360897 @default.
- W2901878185 hasConcept C199539241 @default.
- W2901878185 hasConcept C2777582232 @default.