Matches in SemOpenAlex for { <https://semopenalex.org/work/W2600028506> ?p ?o ?g. }
- W2600028506 endingPage "498" @default.
- W2600028506 startingPage "473" @default.
- W2600028506 created "2017-04-07" @default.
- W2600028506 creator A5013415103 @default.
- W2600028506 creator A5042183912 @default.
- W2600028506 creator A5045132066 @default.
- W2600028506 creator A5047987296 @default.
- W2600028506 creator A5067922012 @default.
- W2600028506 date "2017-03-27" @default.
- W2600028506 modified "2023-10-04" @default.
- W2600028506 title "A feature-based classification of formal verification techniques for software models" @default.
- W2600028506 cites W1006959324 @default.
- W2600028506 cites W113947020 @default.
- W2600028506 cites W137740833 @default.
- W2600028506 cites W1480909796 @default.
- W2600028506 cites W1500886905 @default.
- W2600028506 cites W1502422810 @default.
- W2600028506 cites W1506588809 @default.
- W2600028506 cites W1507208334 @default.
- W2600028506 cites W1511832825 @default.
- W2600028506 cites W1512297458 @default.
- W2600028506 cites W1517809527 @default.
- W2600028506 cites W1518705996 @default.
- W2600028506 cites W1519503479 @default.
- W2600028506 cites W1519551513 @default.
- W2600028506 cites W1530768820 @default.
- W2600028506 cites W1533509112 @default.
- W2600028506 cites W1534850143 @default.
- W2600028506 cites W1534869992 @default.
- W2600028506 cites W1537720651 @default.
- W2600028506 cites W1543226704 @default.
- W2600028506 cites W1548001884 @default.
- W2600028506 cites W1548373692 @default.
- W2600028506 cites W1549164528 @default.
- W2600028506 cites W1560224784 @default.
- W2600028506 cites W156775712 @default.
- W2600028506 cites W1574870108 @default.
- W2600028506 cites W157490712 @default.
- W2600028506 cites W1590315663 @default.
- W2600028506 cites W1678943029 @default.
- W2600028506 cites W168286271 @default.
- W2600028506 cites W1781094 @default.
- W2600028506 cites W1787074469 @default.
- W2600028506 cites W1822925936 @default.
- W2600028506 cites W1851906033 @default.
- W2600028506 cites W1881412220 @default.
- W2600028506 cites W1897703081 @default.
- W2600028506 cites W1967384977 @default.
- W2600028506 cites W1972844678 @default.
- W2600028506 cites W1976195354 @default.
- W2600028506 cites W1977283758 @default.
- W2600028506 cites W1977888290 @default.
- W2600028506 cites W1984478483 @default.
- W2600028506 cites W1989140425 @default.
- W2600028506 cites W198918365 @default.
- W2600028506 cites W1991651491 @default.
- W2600028506 cites W1996109622 @default.
- W2600028506 cites W1997076099 @default.
- W2600028506 cites W200511348 @default.
- W2600028506 cites W2007438434 @default.
- W2600028506 cites W2015640848 @default.
- W2600028506 cites W2016698151 @default.
- W2600028506 cites W2023801057 @default.
- W2600028506 cites W2023808162 @default.
- W2600028506 cites W2028905856 @default.
- W2600028506 cites W2029954071 @default.
- W2600028506 cites W2043100293 @default.
- W2600028506 cites W2056140638 @default.
- W2600028506 cites W2060440626 @default.
- W2600028506 cites W2061451695 @default.
- W2600028506 cites W2074845051 @default.
- W2600028506 cites W2079844342 @default.
- W2600028506 cites W2080267935 @default.
- W2600028506 cites W2081840025 @default.
- W2600028506 cites W2086602487 @default.
- W2600028506 cites W2099213660 @default.
- W2600028506 cites W2101618054 @default.
- W2600028506 cites W2110642232 @default.
- W2600028506 cites W2111038497 @default.
- W2600028506 cites W2111445678 @default.
- W2600028506 cites W2118968163 @default.
- W2600028506 cites W2120450154 @default.
- W2600028506 cites W2123106596 @default.
- W2600028506 cites W2124749939 @default.
- W2600028506 cites W2124789887 @default.
- W2600028506 cites W2125174515 @default.
- W2600028506 cites W2127574686 @default.
- W2600028506 cites W2129538349 @default.
- W2600028506 cites W2130876928 @default.
- W2600028506 cites W2131966463 @default.
- W2600028506 cites W2140527460 @default.
- W2600028506 cites W2143378352 @default.
- W2600028506 cites W2147642262 @default.
- W2600028506 cites W2155391106 @default.
- W2600028506 cites W2158235344 @default.
- W2600028506 cites W2159120688 @default.
- W2600028506 cites W2159151953 @default.
- W2600028506 cites W2168352701 @default.
- W2600028506 cites W2168452516 @default.
- W2600028506 cites W2169954581 @default.