SemOpenAlex |

SemOpenAlex

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

Showing items 1 to 100 of ±138 with 100 items per page.

W757277838 created "2016-06-24" @default.
W757277838 creator A5087428146 @default.
W757277838 date "2010-01-01" @default.
W757277838 modified "2023-09-27" @default.
W757277838 title "Model checking Boolean programs" @default.
W757277838 cites W125598877 @default.
W757277838 cites W143396352 @default.
W757277838 cites W1481415856 @default.
W757277838 cites W1482661140 @default.
W757277838 cites W1491036809 @default.
W757277838 cites W1493367105 @default.
W757277838 cites W1495266209 @default.
W757277838 cites W1496518193 @default.
W757277838 cites W1497571013 @default.
W757277838 cites W1505597832 @default.
W757277838 cites W1508979488 @default.
W757277838 cites W1510368738 @default.
W757277838 cites W1516135678 @default.
W757277838 cites W1517173520 @default.
W757277838 cites W1518705996 @default.
W757277838 cites W1523851025 @default.
W757277838 cites W1524758670 @default.
W757277838 cites W1525816981 @default.
W757277838 cites W1528441743 @default.
W757277838 cites W1544872225 @default.
W757277838 cites W1547793878 @default.
W757277838 cites W1549714654 @default.
W757277838 cites W1552086528 @default.
W757277838 cites W1556566737 @default.
W757277838 cites W1556652046 @default.
W757277838 cites W1557512698 @default.
W757277838 cites W1562679818 @default.
W757277838 cites W1570743953 @default.
W757277838 cites W1577404745 @default.
W757277838 cites W1583869287 @default.
W757277838 cites W1586035363 @default.
W757277838 cites W1587449012 @default.
W757277838 cites W1589760516 @default.
W757277838 cites W1591136029 @default.
W757277838 cites W1593469353 @default.
W757277838 cites W1598142426 @default.
W757277838 cites W1601517679 @default.
W757277838 cites W1604838600 @default.
W757277838 cites W1655886890 @default.
W757277838 cites W1678979457 @default.
W757277838 cites W1691700263 @default.
W757277838 cites W1718783241 @default.
W757277838 cites W1787074469 @default.
W757277838 cites W1801185978 @default.
W757277838 cites W1802674666 @default.
W757277838 cites W1970733094 @default.
W757277838 cites W1976967219 @default.
W757277838 cites W1982205631 @default.
W757277838 cites W1982900911 @default.
W757277838 cites W1984957636 @default.
W757277838 cites W2006553351 @default.
W757277838 cites W2022795996 @default.
W757277838 cites W2027179699 @default.
W757277838 cites W2035561341 @default.
W757277838 cites W2036526834 @default.
W757277838 cites W2051054731 @default.
W757277838 cites W2055081868 @default.
W757277838 cites W2057361103 @default.
W757277838 cites W2080267935 @default.
W757277838 cites W2080593426 @default.
W757277838 cites W2082000355 @default.
W757277838 cites W2087046173 @default.
W757277838 cites W2088139180 @default.
W757277838 cites W2097253829 @default.
W757277838 cites W2099860748 @default.
W757277838 cites W2100637096 @default.
W757277838 cites W2101936540 @default.
W757277838 cites W2106001218 @default.
W757277838 cites W2108530105 @default.
W757277838 cites W2117842469 @default.
W757277838 cites W2120926795 @default.
W757277838 cites W2123115736 @default.
W757277838 cites W2124377830 @default.
W757277838 cites W2128453996 @default.
W757277838 cites W2131195907 @default.
W757277838 cites W2132464057 @default.
W757277838 cites W2133055577 @default.
W757277838 cites W2134147303 @default.
W757277838 cites W2141472133 @default.
W757277838 cites W2143502475 @default.
W757277838 cites W2145098440 @default.
W757277838 cites W2150566739 @default.
W757277838 cites W2155891251 @default.
W757277838 cites W2162284942 @default.
W757277838 cites W2162895617 @default.
W757277838 cites W2169870841 @default.
W757277838 cites W2295903414 @default.
W757277838 cites W2396555304 @default.
W757277838 cites W2913459036 @default.
W757277838 cites W50590539 @default.
W757277838 cites W74242707 @default.
W757277838 cites W2125130617 @default.
W757277838 cites W2583689144 @default.
W757277838 doi "https://doi.org/10.3929/ethz-a-006213873" @default.
W757277838 hasPublicationYear "2010" @default.