SemOpenAlex |

SemOpenAlex

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

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

W853742131 abstract "relatore: E. Riccobene ; correlatore: A. Gargantini ; direttore della scuola di dottorato: E. Damiani" @default.
W853742131 created "2016-06-24" @default.
W853742131 creator A5021486887 @default.
W853742131 date "2013-02-26" @default.
W853742131 modified "2023-09-23" @default.
W853742131 title "TOOL-ASSISTED VALIDATION AND VERIFICATION TECHNIQUES FOR STATE-BASED FORMAL METHODS" @default.
W853742131 cites W125598877 @default.
W853742131 cites W128286996 @default.
W853742131 cites W133334103 @default.
W853742131 cites W143629877 @default.
W853742131 cites W1480909796 @default.
W853742131 cites W1481983260 @default.
W853742131 cites W1482708121 @default.
W853742131 cites W1483744477 @default.
W853742131 cites W1485237120 @default.
W853742131 cites W1485458514 @default.
W853742131 cites W1486172410 @default.
W853742131 cites W1494863586 @default.
W853742131 cites W1496209395 @default.
W853742131 cites W1501731334 @default.
W853742131 cites W1503170978 @default.
W853742131 cites W1506765424 @default.
W853742131 cites W1523724142 @default.
W853742131 cites W1530797069 @default.
W853742131 cites W1531296731 @default.
W853742131 cites W1534850143 @default.
W853742131 cites W1537902984 @default.
W853742131 cites W1539457702 @default.
W853742131 cites W1540134266 @default.
W853742131 cites W1557218117 @default.
W853742131 cites W1557646685 @default.
W853742131 cites W1557832504 @default.
W853742131 cites W1574590844 @default.
W853742131 cites W1576866974 @default.
W853742131 cites W1581430985 @default.
W853742131 cites W1588335385 @default.
W853742131 cites W1597428879 @default.
W853742131 cites W1609712057 @default.
W853742131 cites W1679534293 @default.
W853742131 cites W1794367791 @default.
W853742131 cites W1807498156 @default.
W853742131 cites W1821563272 @default.
W853742131 cites W1853368733 @default.
W853742131 cites W1861203031 @default.
W853742131 cites W1908148254 @default.
W853742131 cites W1931134480 @default.
W853742131 cites W1943874188 @default.
W853742131 cites W1965163560 @default.
W853742131 cites W1965194038 @default.
W853742131 cites W1969402593 @default.
W853742131 cites W1971650562 @default.
W853742131 cites W1973291434 @default.
W853742131 cites W1987811078 @default.
W853742131 cites W1990183105 @default.
W853742131 cites W1996109622 @default.
W853742131 cites W1996832037 @default.
W853742131 cites W1998333922 @default.
W853742131 cites W1998393968 @default.
W853742131 cites W1999396796 @default.
W853742131 cites W2000478763 @default.
W853742131 cites W2001289891 @default.
W853742131 cites W2008726499 @default.
W853742131 cites W2011606665 @default.
W853742131 cites W2023808162 @default.
W853742131 cites W2027769154 @default.
W853742131 cites W2032189196 @default.
W853742131 cites W2041282815 @default.
W853742131 cites W2042172954 @default.
W853742131 cites W2042788642 @default.
W853742131 cites W2049008406 @default.
W853742131 cites W2054751837 @default.
W853742131 cites W2055647675 @default.
W853742131 cites W2057249668 @default.
W853742131 cites W2061097805 @default.
W853742131 cites W2063598889 @default.
W853742131 cites W2073018571 @default.
W853742131 cites W2073544622 @default.
W853742131 cites W2077359497 @default.
W853742131 cites W2094160561 @default.
W853742131 cites W2095929625 @default.
W853742131 cites W2099529102 @default.
W853742131 cites W2099853744 @default.
W853742131 cites W2100425664 @default.
W853742131 cites W2101623441 @default.
W853742131 cites W2102326401 @default.
W853742131 cites W2107555181 @default.
W853742131 cites W2112561088 @default.
W853742131 cites W2112865039 @default.
W853742131 cites W2113724642 @default.
W853742131 cites W2118775247 @default.
W853742131 cites W2118962824 @default.
W853742131 cites W2119272062 @default.
W853742131 cites W2119696713 @default.
W853742131 cites W2120990696 @default.
W853742131 cites W2122303816 @default.
W853742131 cites W2124621264 @default.
W853742131 cites W2125708466 @default.
W853742131 cites W2126259958 @default.
W853742131 cites W2126818664 @default.
W853742131 cites W2127159302 @default.